@proceedings{17514,
  author = {Dennis Gross},
  title = {Probabilistic Model Checking of Stochastic Reinforcement Learning Policies},
  year = {2024},
  journal = {International Conference on Agents and Artificial Intelligence 2024},
}