Intention-Aware Control for Autonomous Vehicles with Formal Safety Guarantees

The core message of this article is to provide a correct-by-design controller for an autonomous vehicle that can adjust its behavior based on the inferred intentions of opponent vehicles and pedestrians, while ensuring provable safety by restricting the probabilistic risk under a desired level.