A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata.

Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita

Browse the full CALCO paper archive.