GitHub repository: wardtuur/COTONN
Primary language: C++
Created: 2018-03-23T11:12:39Z
Description: A toolchain for converting correct-by-design controllers into neural networks