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]

IEEE transactions on automatic control
Volume: 66
Issue: 3
Page(s): 1040-1054

Identifier