Robustness Verification for Classifier Ensembles. - Dennis Gross; Nils Jansen 001; Guillermo A. Pérez 001; Stephan Raaijmakers (ATVA, 2020)

Adversarial Patch Camouflage against Aerial Detection. - Ajaya Adhikari; Richard den Hollander; Ioannis Tolios; Michael van Bekkum; Anneloes Bal; Stijn Hendriks; Maarten Kruithof; Dennis Gross; Nils Jansen 001; Guillermo A. Pérez 001; Kit Buurman; Stephan Raaijmakers (CoRR, 2020)

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. - Dennis Gross; Nils Jansen 001; Sebastian Junges; Guillermo A. Pérez 001 (SETTA, 2022)

Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. - Dennis Gross; Christoph Schmidl; Nils Jansen 001; Guillermo A. Pérez 001 (ICAPS, 2023)

Turn-Based Multi-Agent Reinforcement Learning Model Checking. - Dennis Gross (ICAART (3), 2023)

Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. - Dennis Gross; Thiago D. Simão; Nils Jansen 001; Guillermo A. Pérez 001 (ICAART (3), 2023)

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies. - Dennis Gross; Helge Spieker (ESANN, 2024)

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. - Dennis Gross; Helge Spieker (ICAART (3), 2024)

Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. - Dennis Gross; Helge Spieker; Arnaud Gotlieb; Ricardo Knoblauch (ICAART (3), 2024)

Enhancing RL Safety with Counterfactual LLM Reasoning. - Dennis Gross; Helge Spieker (ICTSS, 2024)

Efficient Milling Quality Prediction with Explainable Machine Learning. - Dennis Gross; Helge Spieker; Arnaud Gotlieb; Ricardo Knoblauch; Mohamed Elmansori (CoRR, 2024)

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies. - Dennis Gross; Helge Spieker (ICAART (2), 2025)

PCTL Model Checking for Temporal RL Policy Safety Explanations. - Dennis Gross; Helge Spieker (SAC, 2025)

Prompting for Performance: Exploring LLMs for Configuring Software. - Helge Spieker; Théo Matricon; Nassim Belmecheri; Jørn Eirik Betten; Gauthier Le Bartz Lyan; Heraldo Borges; Quentin Mazouni; Dennis Gross; Arnaud Gotlieb; Mathieu Acher (CoRR, 2025)