Dennis Gross

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Known people with the same name:

Dennis Gross 001 (Radboud University Nijmegen, The Netherlands)

Bibliography

2026

COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance.

[BibT_eX]

[DOI]

Dennis Gross

CoRR, March, 2026

COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management.

[BibT_eX]

[DOI]

Dennis Gross

CoRR, March, 2026

Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC.

[BibT_eX]

[DOI]

Dennis Gross

CoRR, February, 2026

Semi-supervised CAPP Transformer Learning via Pseudo-labeling.

[BibT_eX]

[DOI]

George-Christopher Vosniakos

CoRR, February, 2026

Large language models for high-level computer-aided process planning in a distributed manufacturing paradigm.

[BibT_eX]

[DOI]

Emmanuel Stathatos

Panorios Benardos

George-Christopher Vosniakos

Dennis Gross

Helge Spieker

Arnaud Gotlieb

Robotics Comput. Integr. Manuf., 2026

2025

Translating the Rashomon Effect to Sequential Decision-Making Tasks.

[BibT_eX]

[DOI]

Dennis Gross

Jørn Eirik Betten

Helge Spieker

CoRR, December, 2025

Formal Verification of Noisy Quantum Reinforcement Learning Policies.

[BibT_eX]

[DOI]

Dennis Gross

CoRR, December, 2025

Verifying Memoryless Sequential Decision-making of Large Language Models.

[BibT_eX]

[DOI]

Dennis Gross

Helge Spieker

Arnaud Gotlieb

CoRR, October, 2025

Reusable Test Suites for Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, August, 2025

PCTL Model Checking for Temporal RL Policy Safety Explanations.

[BibT_eX]

[DOI]

Dennis Gross

Helge Spieker

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

Reusable Test Suites for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2025

Prompting for Performance: Exploring LLMs for Configuring Software.

[BibT_eX]

[DOI]

Gauthier Le Bartz Lyan

Proceedings of the 37th IEEE International Conference on Tools with Artificial Intelligence, 2025

Bounded PCTL Model Checking of Large Language Model Outputs.

[BibT_eX]

[DOI]

Dennis Gross

Helge Spieker

Arnaud Gotlieb

Proceedings of the 37th IEEE International Conference on Tools with Artificial Intelligence, 2025

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2024

Enhancing RL Safety with Counterfactual LLM Reasoning.

[BibT_eX]

[DOI]

Dennis Gross

Helge Spieker

Proceedings of the Testing Software and Systems, 2024

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

[BibT_eX]

[DOI]

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

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dennis Gross

Helge Spieker

Proceedings of the 32nd European Symposium on Artificial Neural Networks, 2024

2023

Turn-Based Multi-Agent Reinforcement Learning Model Checking.

[BibT_eX]

[DOI]

Dennis Gross

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

Dennis Gross

Known people with the same name:

Bibliography

Loading...