Infinite Computations and Games

 

Vorlesung im Wintersemester 2018/2019

   

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.

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

Christof Löding

 

Ü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.

Abgabegruppen von bis zu drei Studenten und Studentinnen sind erlaubt und erwünscht.

Die Details zur Übung werden in der Vorlesung bekannt gegeben.

Prüfung

Zum erfolgreichen Absolvieren der Veranstaltung gehört das Bestehen einer Klausur.