Dennis Gross

According to our database, Dennis Gross authored at least 14 papers between 2020 and 2025.

Collaborative distances:

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

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, July, 2025

PCTL Model Checking for Temporal RL Policy Safety Explanations.

Dennis Gross, Helge Spieker

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies.

Dennis Gross, Helge Spieker

Proceedings of the 17th International Conference on Agents and Artificial Intelligence, 2025

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

Proceedings of the Testing Software and Systems, 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

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies.

Dennis Gross, Helge Spieker

Proceedings of the 32nd European Symposium on Artificial Neural Networks, 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