Paper Accepted at CDC 2017

The paper entitled “Motion Planning under Partial Observability using Game-Based Abstraction” by Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bernd Becker has been accepted for publication at CDC 2017 in Melbourne, Australia. The paper applies model-checking to synthesise motion plans for robots under partial observability, and makes this feasible by utilising game-based abstraction techniques.