Dagstuhl Seminar 05241 on Synthesis and Planning
Wednesday, June 15, 2005
07:30-09:00
breakfast
Chair: Moshe Y. Vardi
09:00-10:30
Robert Givan (Purdue University)
MDP Tutorial
10:30-11:00
coffee break
11:00-12:00
Oded Maler (VERIMAG - IMPG)
Optimal and suboptimal control in the presence of adversaries
12:15-14:00
lunch break
free afternoon
18:00
dinner