TY  - RPRT
TI  - Strategy Synthesis in POMDPs via Game-Based Abstractions
AU  - Leonore Winterer
AU  - Sebastian Junges
AU  - Ralf Wimmer
AU  - Nils Jansen
AU  - Ufuk Topcu
AU  - Joost-Pieter Katoen
AU  - Bernd Becker
PY  - 2019
UR  - https://arxiv.org/abs/1708.04236
ID  - 1708.04236
ER  -