Timo P. Gros - RankMe

22 papers A* 1A 1C 2Misc 1Journal 7Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions (Extended Version with Technical Appendix). CoRR Nicola J. Müller, Moritz Oster, Isabel Valera, Jörg Hoffmann, Timo P. Gros
2025	J	`jnl`	Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior. CoRR Timo P. Gros, Nicola J. Müller, Daniel Fiser, Isabel Valera, Verena Wolf, Jörg Hoffmann
2025	—	`conf`	PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface. QEST+FORMATS Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller, Verena Wolf
2025	—	`conf`	Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving. xAI (Late-breaking Work, Demos, Doctoral Consortium) Timo P. Gros, David Groß, Julius Kamp, Stefan Gumhold, Jörg Hoffmann
2024	J	`jnl`	Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents. CoRR Kevin Baum, Lisa Dargasz, Felix Jahn, Timo P. Gros, Verena Wolf
2024	J	`jnl`	Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving. IEEE Trans. Intell. Transp. Syst. Tristan Schneider, Matheus V. A. Pedrosa, Timo P. Gros, Verena Wolf, Kathrin Flaßkamp
2024	—	`conf`	Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Principles of Verification (3) Timo P. Gros, Nicola J. Müller, Daniel Höller, Verena Wolf
2023	J	`jnl`	Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2023	J	`jnl`	DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
2023	—	`conf`	XAI Requirements in Smart Production Processes: A Case Study. xAI (1) Deborah Baum, Kevin Baum, Timo P. Gros, Verena Wolf
2022	A*	`conf`	Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann
2022	C	`conf`	Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. IV David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold
2022	A	`conf`	Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
2022	—	`conf`	MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
2021	—	`conf`	DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
2020	C	`conf`	Deep Statistical Model Checking. FORTE Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2020	—	`conf`	Lab Conditions for Research on Explainable Automated Decisions. TAILOR Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
2020	Misc	`conf`	Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. WSC Timo P. Gros, Joschka Groß, Verena Wolf
2020	—	`conf`	TraceVis: Towards Visualization for Deep Statistical Model Checking. ISoLA (4) Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2020	J	`jnl`	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2020	—	`conf`	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2019	—	`conf`	aMAZEing Programming - Providing SKILLs to Fellow Students. SKILL Timo P. Gros, Pascal Leo Held, Pascal Lauer, Niklas O. Metzger, Kallistos Weis