Quantified Mu-Calculus for Control Synthesis. - Stéphane Riedweg; Sophie Pinchinat (MFCS, 2003)

You can always compute maximally permissive controllers under partial observation when they exist. - Sophie Pinchinat; Stéphane Riedweg (ACC, 2005)

On the Architectures in Decentralized Supervisory Control. - Sophie Pinchinat; Stéphane Riedweg (CDC/ECC, 2005)

A decidable class of problems for control under partial observation. - Sophie Pinchinat; Stéphane Riedweg (Inf. Process. Lett., 2005)