Case Study: Verifying the Safety of an Autonomous Racing Car with a
Neural Network Controller

Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller

24 October 2019

Radoslav Ivanov

Taylor J. Carpenter

George J. Pappas

Papers citing "Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller"

11 / 11 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 78 15 0 31 Aug 2024
High-speed Autonomous Racing using Trajectory-aided Deep Reinforcement Learning B. D. Evans H. Engelbrecht H. W. Jordaan 24 19 0 12 Jun 2023
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 32 45 0 03 Nov 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations Diego Manzanas Lopez Patrick Musau Nathaniel P. Hamilton Taylor T. Johnson 23 14 0 13 Jul 2022
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems Kaustubh Sridhar Radoslav Ivanov Vuk Lesi M. Juliato Manoj R. Sastry Li-Ling Yang James Weimer O. Sokolsky Insup Lee 9 3 0 17 May 2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers M. Daggitt Wen Kokke R. Atkey Luca Arnaboldi Ekaterina Komendantskaya 26 5 0 10 Feb 2022
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems Aman Sinha Matthew O'Kelly Russ Tedrake John C. Duchi 39 48 0 24 Aug 2020
BayesRace: Learning to race autonomously using prior experience Achin Jain Matthew O'Kelly Pratik Chaudhari M. Morari 23 27 0 10 May 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 20 127 0 12 Apr 2020
Trustworthy AI Jeannette M. Wing 30 215 0 14 Feb 2020
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