AAAI Publications, Twentieth International Conference on Automated Planning and Scheduling

Font Size: 
From Automated Verification to Automated Design
Moshe Y. Vardi

Last modified: 2010-04-20

Abstract


In this talk I will review 50 years of research on the design-synthesis problem and show how the automata-theoretic approach can be used to solve it.

Full Text: PDF