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.
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.
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.
I have reviewed manuscripts for ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS) 2020 and Quantitative Evaluation of SysTems (QEST) 2020.