%0 Journal Article %1 journals/corr/abs-2007-00085 %A Junges, Sebastian %A Jansen, Nils %A Seshia, Sanjit A. %D 2020 %J CoRR %K dblp %T Enforcing Almost-Sure Reachability in POMDPs. %U http://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-00085 %V abs/2007.00085

@article{journals/corr/abs-2007-00085, added-at = {2020-07-06T00:00:00.000+0200}, author = {Junges, Sebastian and Jansen, Nils and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/233a2a3eb513b783ae845f644a50d499c/dblp}, ee = {https://arxiv.org/abs/2007.00085}, interhash = {9a16f7a9642312345091b48e7a7babf6}, intrahash = {33a2a3eb513b783ae845f644a50d499c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-07-07T11:40:46.000+0200}, title = {Enforcing Almost-Sure Reachability in POMDPs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-00085}, volume = {abs/2007.00085}, year = 2020 }