I agree that this site is using cookies. You can find further informations here.
X
Winterer, Leonore
6  results:
Search for persons X
?
1

Strong Simple Policies for POMDPs:

Winterer, Leonore ; Wimmer, Ralf ; Becker, Bernd.
International Journal on Software Tools for Technology Transfer.  26 (2024)  3 - p. 269-299 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Strengthening Deterministic Policies for POMDPs:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Winterer, Leonore ; Wimmer, Ralf ; Jansen, Nils. - p. 115-132 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Correct-by-construction policies for POMDPs:

, In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT,
Jansen, Nils ; Junges, Sebastian ; Katoen, Joost-Pieter... - p. 6-8 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Strengthening Deterministic Policies for POMDPs:

Winterer, Leonore ; Wimmer, Ralf ; Jansen, Nils.
http://arxiv.org/abs/2007.08351.  , 2020
Link: http://arxiv.org/abs/200..
 
?
5

Permissive Finite-State Controllers of POMDPs using Paramet..:

Junges, Sebastian ; Jansen, Nils ; Wimmer, Ralf...
http://arxiv.org/abs/1710.10294.  , 2017
Link: http://arxiv.org/abs/171..
 
?
6

Strategy Synthesis in POMDPs via Game-Based Abstractions:

Winterer, Leonore ; Junges, Sebastian ; Wimmer, Ralf...
http://arxiv.org/abs/1708.04236.  , 2017
Link: http://arxiv.org/abs/170..
 
1-6