%PDF-1.6
%
1 0 obj
<>stream
application/pdfEDAA2019 Design, Automation & Test in Europe Conference & Exhibition (DATE);2019; ; ; Temporal LogicMonitoringAutonomous vehiclesPerceptionImage processingQuality MetricsSpecifying and Evaluating Quality Metrics for Vision-based Perception SystemsAnand BalakrishnanAniruddh G. PuranicXin QinAdel DokhanchiJyotirmoy V. DeshmukhHeni Ben AmorGeorgios Fainekos
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)1433 March 20191438
endstream
endobj
2 0 obj
<>stream
hެUyTSWNCŨ=}G;Z:V*[늢uaYY\S(
h
LVjj2Ι39w
Bo??|g*7-ux#^ꑰuFwv i>[T(SL0>i