Becker, Bernd

2 publications

IJCAI 2019 Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu

UAI 2018 Finite-State Controllers of POMDPs Using Parameter Synthesis Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker