( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MoGym: Using Formal Models for Training and Verifying Decision-making Agents.

, , , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 430-443. Springer, (2022)

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.

Nuala Patricia Timoney

Diana Timova

Wladimir Timofiewitsch

Hassan Timouyas

Wladimir Timoff

 

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

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