@misc{indiciaeb54415e3f2e7,
  title = {Will My Robot Achieve My Goals? Predicting the Probability that an MDP Policy Reaches a User-Specified Behavior Target},
  author = {Alexander Guyer and Thomas G. Dietterich},
  year = {2024},
  url = {https://arxiv.org/abs/2211.16462},
  note = {Source identifier: 2211.16462}
}