Leonore Winterer | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ufuk Topcu
123 publications
Joost-Pieter Katoen
67 publications
Nils Jansen
46 publications
Sebastian Junges
41 publications
Tim Quatmann
9 publications
Ralf Wimmer
7 publications
Bernd Becker
6 publications

research

∙ 07/16/2020

Strengthening Deterministic Policies for POMDPs

The synthesis problem for partially observable Markov decision processes...

0 Leonore Winterer, et al. ∙

research

∙ 10/24/2017

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis

We study finite-state controllers (FSCs) for partially observable Markov...

0 Sebastian Junges, et al. ∙

research

∙ 08/14/2017

Motion Planning under Partial Observability using Game-Based Abstraction

We study motion planning problems where agents move inside environments ...

0 Leonore Winterer, et al. ∙

Success!

An error occurred