@misc{17983,
  author = {Dennis Gross and Helge Spieker},
  title = {PCTL Model Checking for Temporal RL Policy Safety Explanations},
  year = {2025},
  journal = {ACM Symposium On Applied Computing (SAC)},
  publisher = {ACM},
}