%0 Journal Article %1 journals/corr/abs-2103-02398 %A Badings, Thom S. %A Jansen, Nils %A Poonawala, Hasan A. %A Stoelinga, Mariëlle %D 2021 %J CoRR %K dblp %T Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. %U http://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-02398 %V abs/2103.02398

@article{journals/corr/abs-2103-02398, added-at = {2021-03-04T00:00:00.000+0100}, author = {Badings, Thom S. and Jansen, Nils and Poonawala, Hasan A. and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/256ef2b7d3f73bc4ac97c80919478e432/dblp}, ee = {https://arxiv.org/abs/2103.02398}, interhash = {6431554eea65f6f5e632f9d47eebeb46}, intrahash = {56ef2b7d3f73bc4ac97c80919478e432}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:46:14.000+0200}, title = {Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-02398}, volume = {abs/2103.02398}, year = 2021 }