Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

Saved in:
Bibliographic Details
Published inTools and Algorithms for the Construction and Analysis of Systems Vol. 14571
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2024
Online AccessGet full text

Cover

More Information
ISBN:9783031572487
3031572483
DOI:10.1007/978-3-031-57249-4_3