ego-car
There are 1 repositories under ego-car topic.
nicholasRenninger/autonomousCarControlSynthesis
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
There are 1 repositories under ego-car topic.
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario