/autonomousCarControlSynthesis

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

Primary LanguagePython

Stargazers

No one’s star this repository yet.