Wimmer, Ralf

3 publications

AAAI 2019 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst

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