Published 2025
| Version v1
Conference paper
Open
PCTL Model Checking for Temporal RL Policy Safety Explanations
Description
Dennis Gross and Helge Spieker. 2025. PCTL Model Checking for Temporal RL Policy Safety Explanations. Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, New York, NY, USA, 1514–1521. https://doi.org/10.1145/3672608.3707759
Files
SAC 2025 - PCTL Model Checking for Temporal RL Policy Safety Explanations.pdf
Files
(1.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d5120111c300bd52d04e2bbce075dea4
|
1.2 MB | Preview Download |