Dennis Groß

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, 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)