Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving-Reference-Cited by-同舟云学术

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving

Published:2018-11 Issue:11 Volume:37 Page:2906-2917
ISSN:0278-0070
Container-title:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
language:
Short-container-title:IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Author:

Chou Glen^ORCID,Sahin Yunus Emre,Yang Liren^ORCID,Rutledge Kwesi J.,Nilsson Petter^ORCID,Ozay Necmiye

Funder

Toyota Research Institute (‘TRI’)

TRI provided funds to assist the authors with their research but this article solely reflects the opinions and conclusions of its authors and not TRI or any other Toyota entity

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software

Link

http://xplorestaging.ieee.org/ielx7/43/8496924/08493609.pdf?arnumber=8493609

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

1. A survey on model-based reinforcement learning;Science China Information Sciences;2024-01-23

2. A Systematic Approach Towards the Definition of the Terms Edge Case and Corner Case for Automated Driving;2023 3rd International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME);2023-07-19

3. Corner Cases in Data-Driven Automated Driving: Definitions, Properties and Solutions;2023 IEEE Intelligent Vehicles Symposium (IV);2023-06-04

4. Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows;2023 IEEE International Conference on Robotics and Automation (ICRA);2023-05-29

5. Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks;2023 IEEE International Conference on Robotics and Automation (ICRA);2023-05-29