Vorlesung: 2.01.488 Advanced Automata Theory - Details

Vorlesung: 2.01.488 Advanced Automata Theory - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.488 Advanced Automata Theory
Untertitel inf488
Veranstaltungsnummer 2.01.488
Semester SoSe2022
Aktuelle Anzahl der Teilnehmenden 7
erwartete Teilnehmendenanzahl 40
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Mittwoch, 20.04.2022 10:15 - 11:45, Ort: A05 1-160
Art/Form VL + Ü
Teilnehmende The intended audience is computer science or math students with background in logic and the theory of computation.
Voraussetzungen We assume familiarity with basic topics in algorithms, logic, and the theory of computation. Please contact the instructors if you are not sure if you have the necessary background. We will try to keep the class self-contained. Please attend the initial lecture for background material.
Lehrsprache deutsch

Räume und Zeiten

A03 2-209
Mittwoch: 10:15 - 11:45, wöchentlich (9x)
Mittwoch: 14:15 - 15:45, wöchentlich (9x)
A05 1-160
Mittwoch: 10:15 - 11:45, wöchentlich (5x)
A02 2-239
Mittwoch: 14:15 - 15:45, wöchentlich (1x)
Keine Raumangabe
Mittwoch: 14:15 - 15:45, wöchentlich

Kommentar/Beschreibung

In this course, we study advanced topics of automata on finite words and introduce automata on infinite words. Moreover, we investigate the relationship of automata to logic and computer-aided verification. We will also study how automata can be used to provide formal guarantees for (recurrent) neural networks. In particular, we will consider the following topics:

* Automata over finite trees
* Learning of finite automata
* Various types of automata over infinite words (e.g., Büchi, Parity, Muller, and Rabin), their properties, and their relationship to each other
* Connection of automata and logic, specifically Linear Temporal Logic, first-order logic, and monadic second-order logic

If time permits, we will also study infinite games as a mechanism for the automated synthesis of reactive systems.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.