PCTL Model Checking for Temporal RL Policy Safety Explanations
- Authors
- D. Gross and H. Spieker
- Status
- Accepted
- Publication type
- Proceedings Refereed
- Year of publication
- 2025
- Journal
- ACM Symposium On Applied Computing (SAC)
- Publisher
- ACM
- Citation key
- 17983