An RL algorithm that restricts policy updates to actions keeping a PCTL reachability probability above a threshold is proposed, with a claimed convergence to local optimality that is not rigorously established.
Principles of model checking,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.AI 1years
2025 1verdicts
REJECT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Deontically Constrained Policy Improvement in Reinforcement Learning Agents
An RL algorithm that restricts policy updates to actions keeping a PCTL reachability probability above a threshold is proposed, with a claimed convergence to local optimality that is not rigorously established.