DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
DOI10.1145/3607198zbMATH Open1544.68123MaRDI QIDQ6599368FDOQ6599368
Authors: Timo P. Gros, Joschka Groß, Daniel Höller, J. Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf 
Publication date: 6 September 2024
Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)
Recommendations
- Deep statistical model checking
- Planning for potential: efficient safe reinforcement learning
- Probabilistic counterexample guidance for safer reinforcement learning
- Tracking the race between deep reinforcement learning and imitation learning
- Deep ensemble reinforcement learning with multiple deep deterministic policy gradient algorithm
Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Reinforcement learning. An introduction
- Computer Aided Verification
- A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play
- Planning and control in artificial intelligence: A unifying perspective
- Deep reinforcement learning with temporal logics
- Title not available (Why is that?)
- Run-time optimization for learned controllers through quantitative games
- Expected policy gradients for reinforcement learning
- Tracking the race between deep reinforcement learning and imitation learning
- Tools and Algorithms for the Construction and Analysis of Systems
- Deep statistical model checking
This page was built for publication: DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599368)
