05241 Abstracts Collection Synthesis and Planning Dagstuhl Seminar Henry Kautz1, Wolfgang Thomas2 and Moshe Y. Vardi3 1 Univ. of Washington, US
[email protected] 2 RWTH Aachen, DE
[email protected] 3 Rice University, US
[email protected] Abstract. From 12.06.05 to 17.06.2005 the Dagstuhl Seminar 05241 Synthesis and Planning was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available. Keywords. AI planning, controller synthesis, partially observed do- mains, reactive computation, program analysis, games, model checking, satisability, Markov decision processes 05241 Executive Summary Synthesis and Planning This seminar has brought together researchers working in two complementary elds: automatic synthesis of (control) programs, and methods for devising plan- ning algorithms in artical intelligence (AI). This combines a strong thread of current research in automata theory with an area of possible but so far unex- plored applications. Keywords: Synthesis, planning Joint work of: Kautz, Henry; Thomas, Wolfgang; Vardi, Moshe Full Paper: http://drops.dagstuhl.de/opus/volltexte/2006/452 Dagstuhl Seminar Proceedings 05241 Synthesis and Planning http://drops.dagstuhl.de/opus/volltexte/2006/453 2 H. Kautz, W. Thomas and M. Y. Vardi Planning for Partially Observable, Non-Deterministic Domains Piergiorgio Bertoli (IRST - Trento, I) The problem of planning for partially observable, nondeterministic domains has lately attracted considerable interest, due to its relevance and complexity.