Hu, Y. and De Giacomo, G. (2013) “A Generic Technique for Synthesizing Bounded Finite-State Controllers”, Proceedings of the International Conference on Automated Planning and Scheduling, 23(1), pp. 109-116. doi: 10.1609/icaps.v23i1.13555.