%0 Journal Article %1 journals/tac/WintererJWJTKB21 %A Winterer, Leonore %A Junges, Sebastian %A Wimmer, Ralf %A Jansen, Nils %A Topcu, Ufuk %A Katoen, Joost-Pieter %A Becker, Bernd %D 2021 %J IEEE Trans. Autom. Control. %K dblp %N 3 %P 1040-1054 %T Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. %U http://dblp.uni-trier.de/db/journals/tac/tac66.html#WintererJWJTKB21 %V 66

@article{journals/tac/WintererJWJTKB21, added-at = {2021-03-23T00:00:00.000+0100}, author = {Winterer, Leonore and Junges, Sebastian and Wimmer, Ralf and Jansen, Nils and Topcu, Ufuk and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2f5a11eee5a6750e3905401caf5b0c1aa/dblp}, ee = {https://doi.org/10.1109/TAC.2020.2990140}, interhash = {a1e67909e4ea4b3b8e1e68847d97c088}, intrahash = {f5a11eee5a6750e3905401caf5b0c1aa}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 3, pages = {1040-1054}, timestamp = {2024-04-08T17:31:05.000+0200}, title = {Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac66.html#WintererJWJTKB21}, volume = 66, year = 2021 }