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)Analyzing neural network behavior through deep statistical model checking., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (3): 407-426 (июня 2023)Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack., , , , , и . IV, стр. 1-10. IEEE, (2022)TraceVis: Towards Visualization for Deep Statistical Model Checking., , , , , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)Tracking the Race Between Deep Reinforcement Learning and Imitation Learning., , , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 11-17. Springer, (2020)