6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.FL2025
A Variety of Request-Response Specifications
Daichi Aiba, Masaki Waga, Hiroya Fujinami +6
We find, motivated by real-world applications, that the well-known request-response specification comes with multiple variations, and that these variations should be distinguished.…
cs.RO2024★ 6 cited
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
Jesse Reimann, Nico Mansion, James Haydon +8
As the development of autonomous vehicles progresses, efficient safety assurance methods become increasingly necessary. Safety assurance methods such as monitoring and scenario-bas…