TY  - RPRT
TI  - Will My Robot Achieve My Goals? Predicting the Probability that an MDP Policy Reaches a User-Specified Behavior Target
AU  - Alexander Guyer
AU  - Thomas G. Dietterich
PY  - 2024
UR  - https://arxiv.org/abs/2211.16462
ID  - 2211.16462
ER  -