( en | de | ru )

 

Disambiguation of "Gros, Timo P."

Author of the publication

copydeleteadd this publication to your clipboard
MoGym: Using Formal Models for Training and Verifying Decision-making Agents.

, , , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Diana Timova

Nuala Patricia Timoney

Wladimir Timofiewitsch

Hassan Timouyas

Ekatarina Timoshenko

 

Other publications of authors with the same name

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