Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic-Reference-Cited by-同舟云学术

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic

Published:2018 Issue: Volume: Page:409-416
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Dokhanchi Adel,Amor Heni Ben,Deshmukh Jyotirmoy V.,Fainekos Georgios

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03769-7_23

Reference17 articles.

1. Autonomous vehicle disengagement reports 2016. https://www.dmv.ca.gov/portal/dmv/detail/vr/autonomous/disengagement_report_2016

2. IEEE Connected Vehicles: Google reports self-driving car disengagements. http://sites.ieee.org/connected-vehicles/2015/12/15/google-reports-self-driving-car-disengagements

3. S-TaLiRo Toolbox. https://sites.google.com/a/asu.edu/s-taliro/s-taliro

4. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–204 (1994)

5. Lecture Notes in Computer Science;Y Annpureddy,2011

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic;The International Journal of Robotics Research;2024-01-24

2. Tree-Based Scenario Classification;Lecture Notes in Computer Science;2024

3. Monitoring of perception systems: Deterministic, probabilistic, and learning-based fault detection and identification;Artificial Intelligence;2023-12

4. Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01

5. A Survey on Automated Driving System Testing: Landscapes and Trends;ACM Transactions on Software Engineering and Methodology;2023-07-24