Dennis Gross

According to our database, Dennis Gross authored at least 11 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies.

Dennis Gross, Helge Spieker

CoRR, 2024

Efficient Milling Quality Prediction with Explainable Machine Learning.

Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch, Mohamed Elmansori

CoRR, 2024

Enhancing RL Safety with Counterfactual LLM Reasoning.

Dennis Gross, Helge Spieker

CoRR, 2024

Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods.

Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies.

Dennis Gross, Helge Spieker

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.

Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Turn-Based Multi-Agent Reinforcement Learning Model Checking.

Dennis Gross

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods.

Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.

Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

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, Guillermo A. Pérez, Kit Buurman, Stephan Raaijmakers

CoRR, 2020

Robustness Verification for Classifier Ensembles.

Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers

Proceedings of the Automated Technology for Verification and Analysis, 2020