Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Mehdipour, Noushin; Althoff, Matthias; Tebbens, Radboud Duintjer; Belta, Calin
- Titel:
- Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
- Stichworte:
- Autonomous driving, Formal methods, Temporal logic, Formal verification, Formal synthesis, Falsification, Monitoring, Machine learning
- Zeitschriftentitel:
- Automatica
- Jahr:
- 2023
- Band / Volume:
- 152
- Volltext / DOI:
- doi:10.1016/j.automatica.2022.110692
- WWW:
- https://www.sciencedirect.com/science/article/pii/S0005109822005568
- Print-ISSN:
- 0005-1098
- Hinweise:
- Article no. 110692
BibTeX