100 citations · 314 across the 34 of their papers we have counts for
3 papers · 1 filter
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer +3
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over t…
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
Luan Viet Nguyen, Gautam Mohan, James Weimer +3
Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a de…
Verisig: verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov, James Weimer, Rajeev Alur +2
This paper presents Verisig, a hybrid system approach to verifying safety properties of closed-loop systems using neural networks as controllers. Although techniques exist for veri…