PyPI page
Home page
Author:
Christoph Weinhuber
License:
MIT
Summary:
A small tool which can convert automatically synthesised formally verified controllers into concise decision trees.
Latest version:
2.1.15
Required dependencies:
dd
|
flask
|
pandas
|
ruamel.yaml
|
scikit-learn
|
sympy
|
tabulate
|
tqdm
Downloads last day:
8
Downloads last week:
13
Downloads last month:
54