Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking-Reference-Cited by-同舟云学术

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
language:
Short-container-title:

Author:

Dong Yi¹,Zhao Xingyu¹,Huang Xiaowei¹

Affiliation:

1. University of Liverpool,Department of Computer Science,UK

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9981026/9981028/09981794.pdf?arnumber=9981794

Reference45 articles.

1. Robust deep reinforcement learning against adversarial perturbations on state observations;zhang;Advances in neural information processing systems,2020

2. A Storm is Coming: A Modern Probabilistic Model Checker

3. Shielded decision-making in mdps;jansen;ArXiv Preprint,2018

4. PRISM 4.0: Verification of probabilistic real-time systems;kwiatkowska;Computer Aided Verification Ser LNCS,2011

5. Train robots to self-certify their safe operation

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

1. Enhancing Robotic Autonomy and Deep Reinforcement Learning Applications;Advances in Logistics, Operations, and Management Science;2024-06-28

2. Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems;IEEE Transactions on Software Engineering;2024-04

3. Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning;IEEE Access;2024

4. Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training;Lecture Notes in Computer Science;2023-12-30

5. Dependable learning-enabled multiagent systems;AI Communications;2022-09-20