DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning-Reference-Cited by-同舟云学术

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning

Published:2021 Issue: Volume: Page:197-216
ISSN:0302-9743
Container-title:Quantitative Evaluation of Systems
language:
Short-container-title:

Author:

Gros Timo P.,Höller Daniel,Hoffmann Jörg,Klauck Michaela,Meerkamp Hendrik,Wolf Verena

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-85172-9_11

Reference47 articles.

1. Agostinelli, F., McAleer, S., Shmakov, A., Baldi, P.: Solving the Rubik’s cube with deep reinforcement learning and search. Nat. Mach. Intell. 1, 356–363 (2019)

2. Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Thirty-Second AAAI Conference on Artificial Intelligence (2018)

3. Amit, R., Meir, R., Ciosek, K.: Discount factor as a regularizer in reinforcement learning. In: International Conference on Machine Learning, pp. 269–278. PMLR (2020)

4. Lecture Notes in Computer Science;G Avni,2019

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Baier,2021

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

1. DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning – Extended Version;ACM Transactions on Modeling and Computer Simulation;2023-10-26

2. A Classification Study on Testing and Verification of AI-based Systems;2023 IEEE International Conference On Artificial Intelligence Testing (AITest);2023-07

3. Analyzing neural network behavior through deep statistical model checking;International Journal on Software Tools for Technology Transfer;2022-12-13

4. Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack;2022 26th International Conference Information Visualisation (IV);2022-07

5. MoGym: Using Formal Models for Training and Verifying Decision-making Agents;Computer Aided Verification;2022