| 2025 | ICAART | Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies. | Dennis Gross, Helge Spieker |
| 2025 | ICTAI | Bounded PCTL Model Checking of Large Language Model Outputs. | Dennis Gross, Helge Spieker, Arnaud Gotlieb |
| 2025 | ICTAI | Prompting for Performance: Exploring LLMs for Configuring Software. | Helge Spieker, Tho Matricon, Nassim Belmecheri, Jrn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher |
| 2025 | SAC | PCTL Model Checking for Temporal RL Policy Safety Explanations. | Dennis Gross, Helge Spieker |
| 2024 | ESANN | Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies. | Dennis Gross, Helge Spieker |
| 2024 | ICAART | Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. | Dennis Gross, Helge Spieker |
| 2024 | ICAART | Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. | Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch |
| 2023 | ICAART | Turn-Based Multi-Agent Reinforcement Learning Model Checking. | Dennis Gross |
| 2023 | ICAART | Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. | Dennis Gross, Thiago D. Simo, Nils Jansen, Guillermo A. Prez |
| 2022 | SETTA | COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. | Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Prez |
| 2020 | ATVA | Robustness Verification for Classifier Ensembles. | Dennis Gross, Nils Jansen, Guillermo A. Prez, Stephan Raaijmakers |