Leonore Winterer

Orcid: 0000-0002-4258-4046

According to our database¹, Leonore Winterer authored at least 9 papers between 2015 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Diagnosing Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

2020

Strengthening Deterministic Policies for POMDPs.

[BibT_eX]

[DOI]

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

2019

Correct-by-construction policies for POMDPs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2017

Motion planning under partial observability using game-based abstraction.

[BibT_eX]

[DOI]

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

2015

Towards Verification of Artificial Neural Networks.

[BibT_eX]

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

Leonore Winterer

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...