Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils (Corresponding author); Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd

New York, NY : Institute of Electrical and Electronics Engineers (2020, 2021)
Journal Article

In: IEEE transactions on automatic control
Volume: 66
Issue: 3
Page(s)/Article-Nr.: 1040-1054