Dagstuhl Seminar 01451 on Exploration of Large State Spaces
Friday, Nov. 9, 2001
07:30-09:00
breakfast
Chair: Ron Parr
09:00-09:45
Stefan Leue (Freiburg University)
Explicit-State Search
09:45-10:30
Stefan Edelkamp (Freiburg University)
Common Exploration Techniques in Search, Planning and Model Checking
10:30-11:00
coffee break
11:00-11:45
Richard Korf (UCLA)
Space-Efficient Search
11:45-12:30
Moshe Y. Vardi (Rice University)
Benefits of Bounded Model Checking in an Industrial Setting
12:15-14:00
lunch break