Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
Authors:
- Jesse ReimannJRJesse Reimann
- Nico MansionNMNico Mansion
- James HaydonJHJames Haydon
- Benjamin BrayBBBenjamin Bray
- Agnishom ChattopadhyayACAgnishom Chattopadhyay
- Sota SatoSSSota Sato
- Masaki WagaMWMasaki Waga
- Étienne AndréÉAÉtienne André
- Ichiro HasuoIHIchiro Hasuo
- Naoki UedaNUNaoki Ueda
- Yosuke YokoyamaYYYosuke Yokoyama
Open Access
- 8 April 2024
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 186-195
Abstract
No abstract availableAll Related Versions
Funding Information
- Japan Science and Technology Agency (JPMJER1603, JPMJST2213, JPMJCR2012)
This publication has 25 references indexed in Scilit:
- Cut-Out Scenario Generation With Reasonability Foreseeable Parameter Range From Real Highway Dataset for Autonomous Vehicle AssessmentIEEE Access, 2023
- Critical scenario identification for realistic testing of autonomous driving systemsSoftware Quality Journal, 2022
- A Parameter Analysis on RSS in Overtaking Situations on German Highways2022
- Logical Scenarios Parameterization for Automated Vehicle Safety Assessment: Comparison of Deceleration and Cut-In Scenarios From Japanese and German HighwaysIEEE Access, 2022
- Scenario-based threat metric evaluation based on the highd dataset2020
- Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree SearchIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018
- STL⁎: Extending signal temporal logic with signal-value freezing operatorInformation and Computation, 2014
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Monitoring Temporal Properties of Continuous Signals2004
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990