Inductive synthesis of finite-state controllers for POMDPs

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

Abstract: We present a novel learning framework to obtain finite-state controllers (FSCs) for partially observable Markov decision processes and illustrate its applicability for indefinite-horizon specificat...