Repository

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

Project Slug

tulip-control

Last Built

7 years, 8 months ago passed

Maintainers

Home Page

http://tulip-control.org/

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