N Arechiga - 2019 IEEE
Intelligent Vehicles Symposium (IV), 2019 - ieeexplore.ieee.org
… a set of safety contracts for autonomous vehicles in STL, and … provide natural monitoring
capabilities for safety performance. … in which the vehicle violates basic safety conditions. Finally, …