Formal Runtime Monitoring Approaches for Autonomous Vehicles. - Saumya Shankar; Ujwal V. R; Srinivas Pinisetty; Partha S. Roop (OVERLAY, 2020)