Formal Runtime Monitoring Approaches for Autonomous Vehicles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop. Formal Runtime Monitoring Approaches for Autonomous Vehicles. In Riccardo De Benedictis, Luca Geretti, Andrea Micheli, editors, Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020. Volume 2785 of CEUR Workshop Proceedings, pages 89-94, CEUR-WS.org, 2020. [doi]

This author has not been identified. Look up 'Saumya Shankar' in GoogleThis author has not been identified. Look up 'Ujwal V. R' in GoogleThis author has not been identified. Look up 'Srinivas Pinisetty' in GoogleThis author has not been identified. Look up 'Partha S. Roop' in Google

runs on WebDSL