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
Goal-Aware RSS for Complex Scenarios via Program Logic.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
IEEE Trans. Intell. Veh., April, 2023
Formal Verification of Safety Architectures for Automated Driving.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
Formal Verification of Intersection Safety for Automated Driving.
Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023
Logic for Timed Agent Network Topologies.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022