Michel Barbeau Froduald Kabanza Richard St.-Denis An Efficient Algorithm for Controller Synthesis under Full Observation. 144-161 1997 25 J. Algorithms 1 db/journals/jal/jal25.html#BarbeauKS97