Infinite Computations and Games
Vorlesung im Wintersemester 2021/2022
Inhalt
- Automaten auf unendlichen Wörtern, die grundlegende Definitionen und Konstruktionen
- Deterministische Automaten und Klassen von Akzeptanzbedingungen
- Unendliche Spiele als Modelle von reaktiven Systemen
- Automaten auf unendlichen Bäumen und ihre Verbindung zu Spielen
- Anwendungen in den Bereichen Logik, Verifikation und Synthese
Voraussetzungen
Diese Vorlesung ist ausschließlich an Studentinnen und Studenten des Master Studienganges gerichtet. Im Bachelor kann diese Vorlesung daher NICHT angerechnet werden.
Grundlegende Vorkenntinsse im Bereich der Automatentheorie zum Beispiel aus der FoSAP Vorlesung werden für die Teilname an dieser Vorlesung vorausgesetzt.
Organisation
Die Vorlesung wird in Englisch gehalten.
Dozent
Übungsaufgaben
Wir werden wöchentliche Übungsaufgaben veröffentlichen. Das erfolgreiche Bearbeiten dieser Aufgaben, dabei mindestens 50% der erreichbaren Punkte, ist erforderlich für die Klausurzulassung.
Die Details zur Übung werden in der Vorlesung bekannt gegeben.
Prüfung
Zum erfolgreichen Absolvieren der Veranstaltung gehört das Bestehen einer Klausur.