Towards Verification of Artificial Neural Networks. - Karsten Scheibler; Leonore Winterer; Ralf Wimmer 001; Bernd Becker 001 (MBMV, 2015)

Motion planning under partial observability using game-based abstraction. - Leonore Winterer; Sebastian Junges; Ralf Wimmer 001; Nils Jansen 001; Ufuk Topcu; Joost-Pieter Katoen; Bernd Becker 001 (CDC, 2017)

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. - Sebastian Junges; Nils Jansen 001; Ralf Wimmer 001; Tim Quatmann; Leonore Winterer; Joost-Pieter Katoen; Bernd Becker 001 (CoRR, 2017)

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. - Leonore Winterer; Sebastian Junges; Ralf Wimmer 001; Nils Jansen 001; Ufuk Topcu; Joost-Pieter Katoen; Bernd Becker 001 (MBMV, 2018)

Finite-State Controllers of POMDPs using Parameter Synthesis. - Sebastian Junges; Nils Jansen 001; Ralf Wimmer 001; Tim Quatmann; Leonore Winterer; Joost-Pieter Katoen; Bernd Becker 001 (UAI, 2018)

Correct-by-construction policies for POMDPs. - Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann; Bernd Becker 001; Ralf Wimmer 001; Leonore Winterer (SNR, 2019)

Strengthening Deterministic Policies for POMDPs. - Leonore Winterer; Ralf Wimmer 001; Nils Jansen 001; Bernd Becker 001 (NFM, 2020)

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. - Leonore Winterer; Sebastian Junges; Ralf Wimmer 001; Nils Jansen 001; Ufuk Topcu; Joost-Pieter Katoen; Bernd Becker 001 (IEEE Trans. Autom. Control., 2021)

Diagnosing Partially Observable Markov Decision Processes. - Ming Hu; Leonore Winterer; Ralf Wimmer 001 (MBMV, 2022)

Strong Simple Policies for POMDPs. - Leonore Winterer; Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001 (Int. J. Softw. Tools Technol. Transf., 2024)