nicholasRenninger/autonomousCarControlSynthesis
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
Python
Stargazers
No one’s star this repository yet.
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
Python
No one’s star this repository yet.