User: Guest  Login
Title:

Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking

Document type:
Konferenzbeitrag
Author(s):
Lercher, Florian; Althoff, Matthias
Pages contribution:
1484-1491
Abstract:
Compliance with the rules of the road is crucial for the safe operation of autonomous vehicles. Previous work has shown that one can expedite rule-compliant motion planning by constraining the search space based on the reachable states of the vehicle. We propose an algorithm to overapproximate the states that a vehicle can reach while adhering to a linear temporal logic specification. By integrating model checking into reachability analysis, we can exclude many non-compliant states early. Mo...     »
Book / Congress title:
Proceedings of the IEEE Intelligent Vehicles Symposium (IV)
Year:
2024
Language:
en
Fulltext / DOI:
doi:10.1109/IV55156.2024.10588549
Copyright statement:
© 2024 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
 BibTeX