Leonore Winterer

According to our database, Leonore Winterer authored at least 10 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Strong Simple Policies for POMDPs.

Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen

Int. J. Softw. Tools Technol. Transf., June, 2024

2022

Diagnosing Partially Observable Markov Decision Processes.

Ming Hu, Leonore Winterer, Ralf Wimmer

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2021

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker

IEEE Trans. Autom. Control., 2021

2020

Strengthening Deterministic Policies for POMDPs.

Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Correct-by-construction policies for POMDPs.

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

2018

Finite-State Controllers of POMDPs using Parameter Synthesis.

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

2017

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

CoRR, 2017

Motion planning under partial observability using game-based abstraction.

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2015

Towards Verification of Artificial Neural Networks.

Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015