From Automated Verification to Automated Design

Authors

  • Moshe Vardi Rice University

DOI:

https://doi.org/10.1609/icaps.v20i1.13428

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.

Downloads

Published

2010-05-05

How to Cite

Vardi, M. (2010). From Automated Verification to Automated Design. Proceedings of the International Conference on Automated Planning and Scheduling, 20(1), 271-272. https://doi.org/10.1609/icaps.v20i1.13428

Issue

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

Section

Invited Speaker Abstracts