| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sophie Pinchinat, Stéphane Riedweg: A decidable class of problems for control under partial observation. Inf. Process. Lett. 95(4): 454-460 (2005) |
| 2003 | ||
| 1 | EE | Stéphane Riedweg, Sophie Pinchinat: Quantified Mu-Calculus for Control Synthesis. MFCS 2003: 642-651 |
| 1 | Sophie Pinchinat | [1] [2] |