Goal-Aware RSS for Complex Scenarios Via Program Logic-Reference-Cited by-同舟云学术

Goal-Aware RSS for Complex Scenarios Via Program Logic

Published:2022 Issue: Volume: Page:1-33
ISSN:2379-8904
Container-title:IEEE Transactions on Intelligent Vehicles
language:
Short-container-title:IEEE Trans. Intell. Veh.

Author:

Hasuo Ichiro¹^ORCID,Eberhart Clovis¹,Haydon James¹,Dubut Jeremy¹,Bohrer Rose²,Kobayashi Tsutomu¹,Pruekprasert Sasinee¹^ORCID,Zhang Xiao-Yi¹^ORCID,Pallas Erik Andre³^ORCID,Yamada Akihisa⁴,Suenaga Kohei⁵,Ishikawa Fuyuki¹^ORCID,Kamijo Kenji⁶,Shinya Yoshiyuki⁶,Suetomi Takamasa⁶

Affiliation:

1. National Institute of Informatics (NII), Tokyo, Japan

2. Dept. Computer Science, Worcester Polytechnic Institute, Worcester, MA, USA

3. Inst. Software & Systems Engineering, University of Augsburg, Augsburg, Germany

4. Cyber Physical Security Research Center, Tokyo, Japan

5. Graduate School of Informatics, Kyoto University, Kyoto, Japan

6. Mazda Motor Corporation, Fuchu, Japan

Funder

ERATO HASUO Metamathematics for Systems Design Project

JST

JSPS

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Artificial Intelligence,Control and Optimization,Automotive Engineering

Link

http://xplorestaging.ieee.org/ielx7/7274857/7448921/09815834.pdf?arnumber=9815834

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

1. Goal-Aware RSS for Complex Scenarios via Program Logic;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02

2. STEAM & MoSAFE: SOTIF Error-and-Failure Model & Analysis for AI-Enabled Driving Automation;SAE Technical Paper Series;2024-04-09

3. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

4. Formal Verification of Intersection Safety for Automated Driving;2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC);2023-09-24

5. Activities of National Institute of Informatics in Japan;Communications of the ACM;2023-06-22