Campus Event Calendar
Event Entry
What and Who
Automatenstrategien in unendlichen Spielen
Professor Dr. Wolfgang Thomas
Universitaet Kiel
Informatik-Kolloquium
AG 1, AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 28 November 97
15:00
60 Minutes
45 - FB14
HS 001
Saarbrücken
Abstract
Unendliche Zweipersonenspiele auf Graphen sind ein nat"urliches Modell
f"ur reaktive Systeme mit nichtterminierendem Verhalten.
Wir erinnern zun"achst an die Herkunft der Idee unendlicher Spiele
im Rahmen der deskriptiven Mengenlehre und an die Herausbildung
algorithmischer Fragen in der Fr"uhzeit der Informatik durch Church,
Trakhtenbrot, B"uchi. Wir stellen einen neuen Beweis f"ur das
Hauptergebnis zu unendlichen Spielen auf endlichen Graphen vor:
Man kann entscheiden, wer gewinnt, und man kann Gewinnstrategien
durch endliche Automaten implementieren. Abschlie"send diskutieren
wir einige Fragen der aktuellen Forschung, so zur Komplexit\"at der
Strategiesynthese, zur Anwendung bei der Synthese von Controllern und
zur Einbeziehung von Bewertungen (Zeitschranken) in den Spielgraphen.
f"ur reaktive Systeme mit nichtterminierendem Verhalten.
Wir erinnern zun"achst an die Herkunft der Idee unendlicher Spiele
im Rahmen der deskriptiven Mengenlehre und an die Herausbildung
algorithmischer Fragen in der Fr"uhzeit der Informatik durch Church,
Trakhtenbrot, B"uchi. Wir stellen einen neuen Beweis f"ur das
Hauptergebnis zu unendlichen Spielen auf endlichen Graphen vor:
Man kann entscheiden, wer gewinnt, und man kann Gewinnstrategien
durch endliche Automaten implementieren. Abschlie"send diskutieren
wir einige Fragen der aktuellen Forschung, so zur Komplexit\"at der
Strategiesynthese, zur Anwendung bei der Synthese von Controllern und
zur Einbeziehung von Bewertungen (Zeitschranken) in den Spielgraphen.
Contact
--email hidden
passcode not visible
logged in users only