DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version

DOI10.1145/3607198zbMath1544.68123MaRDI QIDQ6599368

Lukas Schaller, Daniel Höller, Nicola J. Müller, Michaela Klauck, Verena Wolf, Timo P. Gros, Jörg Hoffmann, Hendrik Meerkamp, Joschka Groß

Publication date: 6 September 2024

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

zbMATH Keywords

deep reinforcement learningdeep statistical model checkingevaluation stages

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version