TY  - RPRT
TI  - A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains
AU  - Laszlo Treszkai
AU  - Vaishak Belle
PY  - 2019
UR  - https://arxiv.org/abs/1905.07028
ID  - 1905.07028
ER  -