Robust Testing for Cyber-Physical Systems using Reinforcement Learning-Reference-Cited by-同舟云学术

Robust Testing for Cyber-Physical Systems using Reinforcement Learning

Published:2023-09-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Qin Xin¹^ORCID,Arechiga Nikos²^ORCID,Deshmukh Jyotirmoy¹^ORCID,Best Andrew²^ORCID

Affiliation:

1. University of Southern California, Los Angeles, California, USA

2. Toyota Research Institute, Los Altos, California, USA

Funder

National Science Foundation

Airbus Institute for Engineering Research

Toyota R&D and Siemens Corporate Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3610579.3611087

Reference39 articles.

1. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

2. Adaptive Testing for Specification Coverage in CPS Models

3. Ezio Bartocci , Jyotirmoy Deshmukh , Alexandre Donzé , Georgios Fainekos , Oded Maler , Dejan Ničković , and Sriram Sankaranarayanan . 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. Lectures on Runtime Verification: Introductory and Advanced Topics ( 2018 ), 135--175. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, and Sriram Sankaranarayanan. 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. Lectures on Runtime Verification: Introductory and Advanced Topics (2018), 135--175.

4. Roderick Bloem , Krishnendu Chatterjee , and Barbara Jobstmann . 2018. Graph games and reactive synthesis . In Handbook of Model Checking . Springer , 921--962. Roderick Bloem, Krishnendu Chatterjee, and Barbara Jobstmann. 2018. Graph games and reactive synthesis. In Handbook of Model Checking. Springer, 921--962.

5. Andrea Censi Konstantin Slutsky Tichakorn Wongpiromsarn Dmitry Yershov Scott Pendleton James Fu and Emilio Frazzoli. 2019. Liability Ethics and Culture-Aware Behavior Specification using Rulebooks. In ICRA. Andrea Censi Konstantin Slutsky Tichakorn Wongpiromsarn Dmitry Yershov Scott Pendleton James Fu and Emilio Frazzoli. 2019. Liability Ethics and Culture-Aware Behavior Specification using Rulebooks. In ICRA.

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

1. Surveying neuro-symbolic approaches for reliable artificial intelligence of things;Journal of Reliable Intelligent Environments;2024-07-26

2. Multi-agent Path Finding for Timed Tasks Using Evolutionary Games;Lecture Notes in Computer Science;2024