Uni-Logo

This page is only available in German.

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.