Leonore Winterer

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