Timo P. Gros
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAPS | Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior. | Timo P. Gros, Nicola J. Mller, Daniel Fiser, Isabel Valera, Verena Wolf, Jrg Hoffmann |
| 2022 | CAV | MoGym: Using Formal Models for Training and Verifying Decision-making Agents. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Verena Wolf |
| 2022 | ISSTA | Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. | Hasan Ferit Eniser, Timo P. Gros, Valentin Wstholz, Jrg Hoffmann, Maria Christakis |
| 2022 | IV | Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. | David Gro, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jrg Hoffmann, Stefan Gumhold |
| 2020 | FORTE | Deep Statistical Model Checking. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | ISoLA | TraceVis: Towards Visualization for Deep Statistical Model Checking. | Timo P. Gros, David Gro, Stefan Gumhold, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | WSC | Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. | Timo P. Gros, Joschka Gro, Verena Wolf |