Dagstuhl Seminar Proceedings, Volume 5241,

• Henry Kautz, Wolfgang Thomas, and Moshe Y. Vardi 05241 Abstracts Collection – Synthesis and Planning 10.4230/DagSemProc.05241.1
• Henry Kautz, Wolfgang Thomas, and Moshe Y. Vardi 05241 Executive Summary – Synthesis and Planning 10.4230/DagSemProc.05241.2