Timo P. Gros

---

About me

I am a Ph.D. student in the Modeling and Simulation Group at the Computer Science Department of Saarland University and a member of the Graduate School of Computer Science.

Publications

---

2020

---

• Real-time Decision Making For a Car Manufacturing Process Using Deep Reinforcement Learning.
  To appear in Proceedings of the 2020 Winter Simulation Conference.
  Joint work with Joschka Groß and Verena Wolf.

• Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.
  Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST’20).
  Joint work with Daniel Höller, Jörg Hoffmann, and Verena Wolf.

• Tracking the Race Between Deep Reinforcement Learning and Imitation Learning – Extended Version.
  Joint work with Daniel Höller, Jörg Hoffmann, and Verena Wolf.

• TraceVis: Towards Visualization for Deep Statistical Model Checking.
  Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’20)
  Joint work with David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, and Marcel Steinmetz.

• Deep Statistical Model Checking.
  Proceedings of the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE’20), 2020. Joint work with Holger Hermanns, Jörg Hoffmann, Michaela Klauck, and Marcel Steinmetz.

---

2019

---

• aMAZEing Programming – Providing SKILLs to Fellow Students.
  SKILL 2019 - Studierendenkonferenz Informatik Joint work with Pascal L. Held, Pascal Lauer, Niklas O. Metzger, and Kallistos Weis.

---

Theses

• Markov Automata taken by Storm, scientific work for studying (high school) teaching & Bachelor thesis, January 2018

Co-supervised Students

• Joschka Groß, Master thesis, ongoing.
  Using Deep Reinforcement Learning to Optimize Assignment Problems
• Hendrik Meerkamp, Master thesis, ongoing.
  Deep Statistical Model Refinement
• Luis Paulus, Bachelor thesis, ongoing.
  Mapping Instructions to Ports: A Reinforcement Curriculum Learning Approach
• Roman Joeres: Bachelor thesis, 2020.
  Multiple Sequence Alignment using Deep Reinforcement Learning
• Anurag Das: Research Immersion Lab, 2020.
  Real-time Decision Making For a Car Manufacturing Process Using Hierarchical Reinforcement Learning
• Jeremias Wagner: Bachelor thesis, 2020.
  Deep Reinforcement Learning to Battle Snake
• Paul Krieger: Bachelor thesis, 2020.
  Partitioning the State Space of CTMCs for Stationary State Approximation​

Teaching

• Winter 13 : Tutor for Programming 1 at the Dependable Systems and Software group
• Winter 14 : Tutor for Mathematics for Engineers 1 at the Chair for Numerical Mathematics
• Summer 15 : Tutor for Programming 2 at the Compiler Design Lab
• Winter 15 : Tutor for Basics of Algorithms and Data structures at the chair for Computational Complexity
• Summer 16 : Supervision-tutor for Programming 2 at the Compiler Design Lab
• Summer 17 : Supervision-tutor for Programming 2 at the Compiler Design Lab
• Summer 18 : Assistant for Concurrent Programming at the group of Modeling and Simulation
• Summer 19 : Assistant for Probabilistic Models and Data Analysis
• Winter 19: Assistant for Rein4cement Learning
• Sommer 20: Assistent for Statistics Lab

Other Work

I have reviewed manuscripts for ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS) 2020 and Quantitative Evaluation of SysTems (QEST) 2020.