Enrico Tronci. "On Computing Optimal Controllers for Finite State Systems." In _CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control_. Washington, DC, USA: IEEE Computer Society, 1997.