Dennis Gross

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Temporal Properties

Pspace Complete

Top Venues

Publications

Dennis Gross, Helge Spieker
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. ICAART (3) (2024)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods. CoRR (2024)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. ICAART (3) (2024)
Dennis Gross, Helge Spieker
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. CoRR (2024)
Dennis Gross
Turn-Based Multi-Agent Reinforcement Learning Model Checking. ICAART (3) (2023)
Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS (2023)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. ICAART (3) (2023)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR (2022)
Ajaya Adhikari, Richard J. M. den Hollander, Ioannis Tolios, Michael van Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo A. Pérez, Kit Buurman, Stephan Raaijmakers
Adversarial Patch Camouflage against Aerial Detection. CoRR (2020)
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
Robustness Verification for Classifier Ensembles. ATVA (2020)
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
Robustness Verification for Classifier Ensembles. CoRR (2020)