Seminar: Handlungsplanung und Modelchecking - Zeitplan
Das Seminar findet am Montag, dem 18. Februar 2008 in Gebäude 101, Seminarraum 01-009/013 statt.
| Zeit | Thema | Vortragender | Kurzkommentar |
|---|---|---|---|
| 9:25-10:10 | CTL-Model-Checking und Planen mit BDDs | Falko Stenzel | Huifeng Gan |
| 10:10-10:30 | Kaffeepause | ||
| 10:30-11:15 | ATL-Model-Checking | Huifeng Gan | Falko Stenzel |
| 11:15-12:00 | Konformantes Planen als symbolisches Model-Checking | Martin Senk | entfällt |
| 12:00-13:00 | Mittagspause | ||
| 13:00-13:45 | Abstraction Refinement | Christoph Betz | Derya Yavuz |
| 13:45-14:30 | Realzeitautomaten | Derya Yavuz | Christoph Betz |
| 14:30-14:50 | Kaffeepause | ||
| 14:50-15:35 | Planen als Erfüllbarkeitsproblem | Jens Zettelmeyer | Martin Senk |
Für jedes Thema sind 45 Minuten eingeplant, von denen 30 Minuten für den Vortrag, 5 Minuten für den anschließenden Kurzkommentar und 10 Minuten inhaltliche Diskussion und Feedback vorgesehen sind.