Perception-Aware

Symbolic Perception Risk in Autonomous Driving

Tags: 

Perception-Aware

Symbolic Risk

Autonomous Car

• Read more about Symbolic Perception Risk in Autonomous Driving

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception

Tags: 

Control Synthesis

Active Exploration

Perception-Aware

Incremental Symbolic Perception

Automata

Mixed Integer Linear Programming

Ground Robotics

• Read more about Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception

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