Leonore Winterer, Sebastian Junges, Ralf Wimmer 0001, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Automat. Contr., 66(3):1040-1054, 2021. [doi]
Abstract is missing.