Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001. Finite-State Controllers of POMDPs using Parameter Synthesis. In Amir Globerson, Ricardo Silva, editors, Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018, Monterey, California, USA, August 6-10, 2018. pages 519-529, AUAI Press, 2018. [doi]
Abstract is missing.