A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. - Jun Kohjina; Toshimitsu Ushio; Yoshiki Kinoshita (CALCO, 2011)