M Chen,
CJ Tomlin - Annual Review of Control, Robotics, and …, 2018 - annualreviews.org
Autonomous systems are becoming pervasive in everyday life, and many of these systems
are complex and safety-critical. Formal verification is important for providing performance …