From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

MoGym: Using Formal Models for Training and Verifying Decision-making Agents., , , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 430-443. Springer, (2022)aMAZEing Programming - Providing SKILLs to Fellow Students., , , , и . SKILL, том S-15 из LNI, стр. 59-70. Gesellschaft für Informatik e.V., (2019)XAI Requirements in Smart Production Processes: A Case Study., , , и . xAI (1), том 1901 из Communications in Computer and Information Science, стр. 3-24. Springer, (2023)Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents., , , , , и . (мая 2022)Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents"., , , и . (ноября 2021)Tracking the Race Between Deep Reinforcement Learning and Imitation Learning., , , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 11-17. Springer, (2020)Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning., , , , , и . QEST, том 12846 из Lecture Notes in Computer Science, стр. 197-216. Springer, (2021)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , и . TAILOR, том 12641 из Lecture Notes in Computer Science, стр. 83-90. Springer, (2020)TraceVis: Towards Visualization for Deep Statistical Model Checking., , , , , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)