Leonore Winterer

Orcid: 0000-0002-4258-4046

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Strong Simple Policies for POMDPs.
Int. J. Softw. Tools Technol. Transf., June, 2024

2022
Diagnosing Partially Observable Markov Decision Processes.
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.
IEEE Trans. Autom. Control., 2021

2020
Strengthening Deterministic Policies for POMDPs.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Correct-by-construction policies for POMDPs.
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.
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.
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.
CoRR, 2017

Motion planning under partial observability using game-based abstraction.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2015
Towards Verification of Artificial Neural Networks.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015


  Loading...