Autor der Publikation

Lab Conditions for Research on Explainable Automated Decisions.

, , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)

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

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)aMAZEing Programming - Providing SKILLs to Fellow Students., , , , und . SKILL, Volume S-15 von LNI, Seite 59-70. Gesellschaft für Informatik e.V., (2019)Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents., , , , , und . (Mai 2022)Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents"., , , und . (November 2021)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)Deep Statistical Model Checking., , , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2020)Tracking the Race Between Deep Reinforcement Learning and Imitation Learning., , , und . QEST, Volume 12289 von Lecture Notes in Computer Science, Seite 11-17. Springer, (2020)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning., , , , , und . QEST, Volume 12846 von Lecture Notes in Computer Science, Seite 197-216. Springer, (2021)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)Analyzing neural network behavior through deep statistical model checking., , , , und . Int. J. Softw. Tools Technol. Transf., 25 (3): 407-426 (Juni 2023)