Motion planning under partial observability using game-based abstraction

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

Piscataway, NJ : IEEE (2017)
Contribution to a book, Contribution to a conference proceedings

In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia
Page(s)/Article-Nr.: 2201-2208


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