# Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges

> Research article (Automatica, 2023) · cited 62× · AI/ML

**Wikidata**: [openalex:W4360868502](https://www.wikidata.org/wiki/openalex:W4360868502)  
**Source**: https://4ort.xyz/entity/formal-methods-to-comply-with-rules-of-the-road-in-autonomous-driving-state-of-the-art-and-grand-challenges