Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
- Authors
- D. Gross and H. Spieker
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2024
- Journal
- 16th International Conference on Agents and Artificial Intelligence (ICAART)
- Publisher
- SciTePress
- Citation key
- 17712