Robustness Verification for Classifier Ensembles. - Dennis Gross 001; Nils Jansen 001; Guillermo A. Pérez; 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 001; Nils Jansen 001; Guillermo A. Pérez; Kit Buurman; Stephan Raaijmakers (CoRR, 2020)

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

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

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

Towards trustworthy AI: Formal Verification in Machine Learning. - Dennis M. Groß (2024)