Autor der Publikation

MoGym: Using Formal Models for Training and Verifying Decision-making Agents.

, , , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 430-443. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

XAI Requirements in Smart Production Processes: A Case Study., , , und . xAI (1), Volume 1901 von Communications in Computer and Information Science, Seite 3-24. Springer, (2023)aMAZEing Programming - Providing SKILLs to Fellow Students., , , , und . SKILL, Volume S-15 von LNI, Seite 59-70. Gesellschaft für Informatik e.V., (2019)Analyzing neural network behavior through deep statistical model checking., , , , und . Int. J. Softw. Tools Technol. Transf., 25 (3): 407-426 (Juni 2023)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version., , , , , , , , und . ACM Trans. Model. Comput. Simul., 33 (4): 17:1-17:28 (Oktober 2023)TraceVis: Towards Visualization for Deep Statistical Model Checking., , , , , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 27-46. Springer, (2020)Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack., , , , , und . IV, Seite 1-10. IEEE, (2022)Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning., , und . WSC, Seite 3032-3044. IEEE, (2020)Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing., , , , und . ISSTA, Seite 52-63. ACM, (2022)Debugging a Policy: Automatic Action-Policy Testing in AI Planning., , , , , , , , , und 1 andere Autor(en). ICAPS, Seite 353-361. AAAI Press, (2022)Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version., , , und . CoRR, (2020)