Insu Song, Guido Governatori, Joachim Diederich. Automatic synthesis of reactive agents. In 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, Singapore, 7-10 December 2010, Proceedings. pages 970-975, IEEE, 2010. [doi]
Abstract is missing.