Versions

  • No active versions.

Repository

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

Project Slug

tulip-control

Last Built

4 years, 10 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

Project Privacy Level

Public

Short URLs

tulip-control.readthedocs.io
tulip-control.rtfd.io

Default Version

latest

'latest' Version

master