37 citations · 108 across the 19 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018★ 37 cited
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…
cs.LO2018★ 4 cited
Self-Driving Vehicle Verification Towards a Benchmark
Nima Roohi, Ramneet Kaur, James Weimer +2
Industrial cyber-physical systems are hybrid systems with strict safety requirements. Despite not having a formal semantics, most of these systems are modeled using Stateflow/Simul…