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


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]