Finite-State Controllers of POMDPs using Parameter Synthesis.

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

Browse the full UAI paper archive.