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.
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.
Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems (QEST’21).
Joint work with Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, and Verena Wolf.
Debugging a Policy: A Framework for Automatic Action Policy Testing.
Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS’21.
Joint work with Marcel Steinmetz, Philippe Heim, Daniel Höller, and Jörg Hoffmann.
Lab Conditions for Research on Explainable Automated Decisions (Position Paper)
Post-Proceedings of the Workshop on Foundations of Trustworthy AI - Integrating Learning, Optimization and Reasoning (TAILOR’20).
Joint work with Christel Baier, Maria Christakis, David Groß, Stefan Gumhold, Holger Hermanns, and Michaela Klauck.
Real-time Decision Making For a Car Manufacturing Process Using Deep Reinforcement Learning.
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, Quantitative Evaluation of SysTems (QEST) 2020 and 2021, and 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2021.