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