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:
5
Downloads last week:
31
Downloads last month:
129