05241 Executive Summary – Synthesis and Planning

Kautz, Henry; Thomas, Wolfgang; Vardi, Moshe Y.

doi:10.4230/DagSemProc.05241.2

Document

05241 Executive Summary – Synthesis and Planning

Authors Henry Kautz, Wolfgang Thomas, Moshe Y. Vardi

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 5241
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2006-01-31

PDF

File

DagSemProc.05241.2.pdf

Filesize: 100 kB
4 pages

Document Identifiers

DOI: 10.4230/DagSemProc.05241.2
URN: urn:nbn:de:0030-drops-4527

Author Details

Henry Kautz

Wolfgang Thomas

Moshe Y. Vardi

Cite As Get BibTex

Henry Kautz, Wolfgang Thomas, and Moshe Y. Vardi. 05241 Executive Summary – Synthesis and Planning. In Synthesis and Planning. Dagstuhl Seminar Proceedings, Volume 5241, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/DagSemProc.05241.2

Abstract

This seminar has brought together researchers working
in two complementary fields: automatic synthesis
of (control) programs, and methods for devising planning 
algorithms in artifical intelligence (AI). 
This combines a strong thread of current research in automata
theory  with an area of possible but so far unexplored applications.

Subject Classification

Keywords

Synthesis
planning

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail