Moshe Y. Vardi. From Automated Verification to Automated Design. In Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz, editors, Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. pages 271, AAAI, 2010. [doi]
Abstract is missing.