Uni-Logo

This page is only available in German.

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.