AAAI

Association for the Advancement of Artificial Intelligence

Home > Proceedings / Proceedings of the International Conference on Automated Planning and Scheduling, 20

From Automated Verification to Automated Design

Authors

Moshe Vardi

Rice University


Proceedings:

Vol. 20 (2010): Twentieth International Conference on Automated Planning and Scheduling

Volume

Issue:

Vol. 20 (2010): Twentieth International Conference on Automated Planning and Scheduling

Track:

Invited Speaker Abstracts

Downloads:

Download PDF

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.

DOI:

10.1609/icaps.v20i1.13428


ICAPS

Vol. 20 (2010): Twentieth International Conference on Automated Planning and Scheduling