Leonore Winterer

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 12

Top Topics

Markov Decision Process

Partially Observable Markov Decision Processes

Planning Under Partial Observability

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Ming Hu, Leonore Winterer, Ralf Wimmer
Diagnosing Partially Observable Markov Decision Processes. MBMV (2022)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66 (3) (2021)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. NFM (2020)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. CoRR (2020)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI (2018)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV (2018)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR (2017)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Motion planning under partial observability using game-based abstraction. CDC (2017)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR (2017)
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
Towards Verification of Artificial Neural Networks. MBMV (2015)