Seminar über Automatentheorie

» Diese Veranstaltung wird auf deutsch gehalten.

Seminar im Sommersemester 2003

ArtTermine/OrtVeranstalter
S2 Do 11:00 - 12:30 4116 Thomas, Löding, Wöhrle

Inhalt

Dieses Seminar schliesst sich an die Vorlesung "Automata and Reactive Systems" an. Es werden Arbeiten über die Theorie der omega-Automaten und der unendlichen Spiele studiert.

Die Folgende Tabelle gibt eine vorläufige Übersicht über die geplanten Themen und Termine.

Teil 1: omega-Automaten und -Sprachen

 TerminThemaBetreuer
1 Do. 24.04.2003, 11 Uhr Determinisierung von Büchi-Automaten nach Muller/Schupp Christof Löding
2 Mi. 30.04.2003, 16 Uhr Minimierung schwacher omega-Automaten Christof Löding
3 Do. 08.05.2003, 11 Uhr Minimierung von Büchi-Automaten Wolfgang Thomas
4 Do. 15.05.2003, 11 Uhr Alternierende Automaten und Komplementierung von Büchiautomaten Wolfgang Thomas
5 Mi. 21.05.2003, 14.15 Uhr Effiziente Übersetzung von LTL nach Büchi Automaten Wolfgang Thomas
6 Mi. 28.05.2003, 14.15 Uhr Komplexitätsfragen bei Paritätsautomaten Stefan Wöhrle

Teil 2: Spiele, Strategien und Synthese

 TerminThemaBetreuer
7 Do. 05.06.2003, 11Uhr Lösung von Mullerspielen mit Zielonka-Bäumen Stefan Wöhrle
8 Mi. 18.06.2003, 16 Uhr Progress-Measures für Paritätsspiele Stefan Wöhrle
9 Do. 26.06.2003, 11 Uhr Nebenläufige Spiele mit Erreichbarkeitsbedingungen Stefan Wöhrle
10 Do. 03.07.2003, 11 Uhr Reduktion von nebenläufigen Spielen auf Paritätsspiele Stefan Wöhrle
11 Do. 10.07.2003, 11 Uhr Lösung von Spielen mit LTL-Gewinnbedingungen Christof Löding
12 Do. 17.07.2003, 11 Uhr Synthese für reaktive Systeme und Branching-Time Spezifikationen Christof Löding
13 Do. 24.07.2003, 11 Uhr Verteilte Controllersynthese mit globalen Spezifikationen Christof Löding
14 Do. 31.07.2003, 11 Uhr Verteilte Controllersynthese mit lokalen Spezifikationen Christof Löding