7 citations · 13 across the 4 of their papers we have counts for
4 papers
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…
Learning Critical Scenarios in Feedback Control Systems for Automated Driving
Mengjia Zhu, Alberto Bemporad, Maximilian Kneissl +1
Testing is essential for verifying and validating control designs, especially in safety-critical applications. In particular, the control system governing an automated driving vehi…
USC: Uncompromising Spatial Constraints for Safety-Oriented 3D Object Detectors in Autonomous Driving
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen +1
In this work, we consider the safety-oriented performance of 3D object detectors in autonomous driving contexts. Specifically, despite impressive results shown by the mass literatu…
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen +1
As an emerging type of Neural Networks (NNs), Transformers are used in many domains ranging from Natural Language Processing to Autonomous Driving. In this paper, we study the robu…