LTL-Based Planning in Environments With Probabilistic Observations | Publicación