1 citations · 1 across the 2 of their papers we have counts for
3 papers · 1 filter
Inductive Synthesis of Finite-State Controllers for POMDPs
Roman Andriushchenko, Milan Ceska, Sebastian Junges +1
We present a novel learning framework to obtain finite-state controllers (FSCs) for partially observable Markov decision processes and illustrate its applicability for indefinite-h…
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Roman Andriushchenko, Milan Ceska, Sebastian Junges +1
This paper presents a novel method for the automated synthesis of probabilistic programs. The starting point is a program sketch representing a finite family of finite-state Markov…
Shepherding Hordes of Markov Chains
Milan Ceska, Nils Jansen, Sebastian Junges +1
This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, pl…