Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic-Reference-Cited by-同舟云学术

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

Published:2019-10-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Hekmatnejad Mohammad¹,Yaghoubi Shakiba¹,Dokhanchi Adel¹,Amor Heni Ben¹,Shrivastava Aviral¹,Karam Lina¹,Fainekos Georgios¹

Affiliation:

1. Arizona State University

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3359986.3361203

Reference30 articles.

1. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

2. abc15.com staff. 2018. Self-driving car crash in Arizona: Red light runner hits Waymo van. ABC15 Arizona (5 2018). abc15.com staff. 2018. Self-driving car crash in Arizona: Red light runner hits Waymo van. ABC15 Arizona (5 2018).

3. CommonRoad: Composable benchmarks for motion planning on roads

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

1. Law compliance decision making for autonomous vehicles on highways;Accident Analysis & Prevention;2024-09

2. Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach;ACM Transactions on Cyber-Physical Systems;2024-07-13

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

4. Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

5. Towards learning-based planning: The nuPlan benchmark for real-world autonomous driving;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13