Michel Barbeau, Froduald Kabanza, Richard St.-Denis. An Efficient Algorithm for Controller Synthesis under Full Observation. J. Algorithms, 25(1):144-161, 1997.
@article{BarbeauKS97,
title = {An Efficient Algorithm for Controller Synthesis under Full Observation},
author = {Michel Barbeau and Froduald Kabanza and Richard St.-Denis},
year = {1997},
researchr = {https://researchr.org/publication/BarbeauKS97},
cites = {0},
citedby = {0},
journal = {J. Algorithms},
volume = {25},
number = {1},
pages = {144-161},
}