Versions
-
No active versions.
Repository
https://github.com/tulip-control/tulip-control.git
Project Slug
tulip-control
Last Built
6 years, 10 months ago passed
Maintainers
Home Page
Badge
Tags
python, synthesis, abstraction, verification, specification, automata, state-machine, control-systems, hybrid-systems, temporal-logic, feedback-systems
Short URLs
tulip-control.readthedocs.io
tulip-control.rtfd.io
Default Version
latest
'latest' Version
master