/autonomousCarControlSynthesis

LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario

Primary LanguagePython

No issues in this repository yet.