Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic

Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos. Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. In Christian Colombo, Martin Leucker, editors, Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Volume 11237 of Lecture Notes in Computer Science, pages 409-416, Springer, 2018. [doi]

Abstract

Abstract is missing.