Seminar: Automatenkonstruktionen im Model Checking - Zeitplan
| Zeit | Thema | Vortragender | Kurzkommentar |
|---|---|---|---|
| Donnerstag, 28. Juli 2011 | |||
| 9:15-9:20 | Begrüßung | ||
| 9:20-10:00 | B.4: Linear-Time Temporal Logic and Büchi Automata | Eugen Sawin | Luminous Fennell |
| 10:00-10:40 | A.4: Alternating-time Temporal Logic | Luminous Fennell | Fabian Wenzelmann |
| 10:40-11:00 | Kaffeepause | ||
| 11:00-11:40 | D.1: Introduction to Infinite Games | Felix Atmanspacher
Folien (4-auf-1) |
Christian Schilling
Folien (4-auf-1) |
| 11:40-12:20 | B.2: On Complementing Nondeterministic Büchi Automata | Stephanie Embgen | Sebastian Dufner |
| 12:20-13:20 | Mittagspause | ||
| 13:20-14:00 | C.1: LTL to Büchi Translation à la Gerth et al. | Christian Schilling
Folien (4-auf-1) |
Stephanie Embgen |
| 14:00-14:40 | A.2: Presburger Arithmetik | Sebastian Dufner | Felix Atmanspacher |
| 14:40-15:00 | Kaffeepause | ||
| 15:00-15:40 | D.2: Timed Games and an Application to Automated Planning | Fabian Wenzelmann
Folien (4-auf-1) |
Daniel Jäckle |
| 15:40-16:20 | E.2: Automata-based Heuristics in Directed Model Checking | Daniel Jäckle | Eugen Sawin |
| 16:20-16:40 | Abschlussdiskussion | ||
Für jedes Thema sind 40 Minuten eingeplant, von denen 25 Minuten für den Vortrag, 5 Minuten für den anschließenden Kurzkommentar und 10 Minuten für inhaltliche Diskussion und Feedback vorgesehen sind.