Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

29 March 2021

Papers citing "Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles"

3 / 3 papers shown

Title
Certified Control for Train Sign Classification Jan Roßbach Michael Leuschel 19 1 0 16 Nov 2023
Connected Dependability Cage Approach for Safe Automated Driving Adina Aniculaesei I. Aslam Daniel Bamal Felix Helsch Andreas Vorwald Meng Zhang Andreas Rausch 26 0 0 12 Jul 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017