Formalization of Intersection Traffic Rules in Temporal Logic-Reference-Cited by-同舟云学术

Formalization of Intersection Traffic Rules in Temporal Logic

Published:2022-06-05 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE Intelligent Vehicles Symposium (IV)
language:
Short-container-title:

Author:

Maierhofer Sebastian¹,Moosbrugger Paul¹,Althoff Matthias¹

Affiliation:

1. Technical University of Munich,Department of Informatics,Garching,Germany,85748

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9826996/9826997/09827153.pdf?arnumber=9827153

Reference30 articles.

1. CommonRoad Scenario Designer: An open-source toolbox for map conversion and scenario creation for autonomous vehicles;maierhofer;Proc of the IEEE Int Conf on Intelligent Transportation Systems,2021

2. Specifying Safety of Autonomous Vehicles in Signal Temporal Logic

3. Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic

4. Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles

5. On a formal model of safe and scalable self-driving cars;shalev-shwartz;arXiv preprint arXiv 1708 06374,2017

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Diverse Controllable Diffusion Policy With Signal Temporal Logic;IEEE Robotics and Automation Letters;2024-10

2. Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02

3. Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02

4. TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02

5. Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02