Login
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Mehdipour, Noushin; Althoff, Matthias; Tebbens, Radboud Duintjer; Belta, Calin
- Title:
- Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
- Keywords:
- Autonomous driving, Formal methods, Temporal logic, Formal verification, Formal synthesis, Falsification, Monitoring, Machine learning
- Journal title:
- Automatica
- Year:
- 2023
- Journal volume:
- 152
- Fulltext / DOI:
- doi:10.1016/j.automatica.2022.110692
- WWW:
- https://www.sciencedirect.com/science/article/pii/S0005109822005568
- Print-ISSN:
- 0005-1098
- Notes:
- Article no. 110692
BibTeX