Dennis Gross

D. Gross, H. Spieker and A. Gotlieb

Bounded PCTL Model Checking of Large Language Model Outputs

37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2025)

H. Spieker, T. Matricon, N. Belmecheri, J. E. Betten, G. Le Bartz Lyan, H. Borges, Q. Mazouni, D. Gross, A. Gotlieb and M. Acher

Prompting for Performance: Exploring LLMs for Configuring Software

37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2025)

J. E. Betten, Q. Mazouni, D. Gross, P. Lind and H. Spieker

Reusable Test Suites for Reinforcement Learning

International Conference on Testing Software and Systems

D. Gross and H. Spieker

PCTL Model Checking for Temporal RL Policy Safety Explanations

ACM Symposium On Applied Computing (SAC)

D. Gross and H. Spieker

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

17th International Conference on Agents and Artificial Intelligence (ICAART)

D. Gross, H. Spieker and A. Gotlieb

Verifying Memoryless Sequential Decision-making of Large Language Models

7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY @ ECAI 2025)

D. Gross, H. Spieker, A. Gotlieb, R. Knoblauch and M. Elmansori

Efficient Milling Quality Prediction with Explainable Machine Learning

18th IFAC Symposium on Information Control Problems in Manufacturing (INCOM)

D. Gross, H. Spieker, A. Gottlieb and R. Knoblauch

Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods

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

D. Gross and H. Spieker

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies

European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN)

D. Gross and H. Spieker

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies

16th International Conference on Agents and Artificial Intelligence (ICAART)