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]

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