Reactive Synthesis

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers

Tags: 

Formal Methods

Perception-Aware

Incremental Symbolic Perception

Reactive Synthesis

Control Synthesis

Autonomous Car

• Read more about Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers