TY  - RPRT
TI  - Inductive Synthesis of Finite-State Controllers for POMDPs
AU  - Roman Andriushchenko
AU  - Milan Ceska
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
PY  - 2022
UR  - https://arxiv.org/abs/2203.10803
ID  - 2203.10803
ER  -