Compositional Control Synthesis for Partially Observable Systems.

Wouter Kuijper, Jaco van de Pol

Browse the full CONCUR paper archive.