Formal Specification and Verification of Autonomous Robotic Systems: A Survey

29 June 2018

Papers citing "Formal Specification and Verification of Autonomous Robotic Systems: A Survey"

2 / 2 papers shown

Title
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 198 935 0 21 Oct 2016
Formal Verification of Autonomous Vehicle Platooning M. Kamali Louise A. Dennis O. McAree Michael Fisher S. Veres 35 134 0 04 Feb 2016