Repository

https://github.com/tulip-control/tulip-control.git

Project Slug

tulip-control

Last Built

5 years, 4 months ago passed

Maintainers

Home Page

http://tulip-control.org/

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