Timo Philipp Gros, M.Sc.

Contact +49 681 85775 5375 (Saarbrücken)

Address (Saarbrücken) Gebäude D3 2Stuhlsatzenhausweg 366123 Saarbrücken

Publications

Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving
P. Timo Gros; David Groß; Julius Kamp; Stefan Gumhold; Jörg Hoffmann
In: World Conference on Explainable Artificial Intelligence. xAI: World Conference on Explainable Artificial Intelligence (xAI-2025), July 9-11, Istanbul, Turkey, Springer Berlin Heidelberg, Heidelberg, 10/2025.
PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf
In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer…
Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior
Timo P. Gros; Nicola Müller; Daniel Fiser; Isabel Valera; Verena Wolf; Jörg Hoffmann
In: The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia, AAAI Press, 2025.

MAC-MERLin
Multi-Level Abstractions and Causal Modeling for Enhanced Reinforcement Learning
Das Projekt Multi-Level Abstractions and Causal Modeling for Enhanced Reinforcement Learning (MAC-MERLin) zielt darauf ab, durch die Nutzung von Multi-Level-Abstraktionen in Kombination mit kausaler…