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]

Authors

Adel Dokhanchi

This author has not been identified. Look up 'Adel Dokhanchi' in Google

Heni Ben Amor

This author has not been identified. Look up 'Heni Ben Amor' in Google

Jyotirmoy V. Deshmukh

This author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in Google

Georgios Fainekos

This author has not been identified. Look up 'Georgios Fainekos' in Google