Lecture: 2.01.488 Advanced Automata Theory - Details

Lecture: 2.01.488 Advanced Automata Theory - Details

Close message box
You are not logged into Stud.IP.

General information

Course name Lecture: 2.01.488 Advanced Automata Theory
Subtitle inf488
Course number 2.01.488
Semester SoSe2022
Current number of participants 6
expected number of participants 40
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Wednesday, 20.04.2022 10:15 - 11:45, Room: A05 1-160
Type/Form VL + Ü
Participants The intended audience is computer science or math students with background in logic and the theory of computation.
Pre-requisites 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

Rooms and times

A03 2-209
Wednesday: 10:15 - 11:45, weekly (9x)
Wednesday: 14:15 - 15:45, weekly (9x)
A05 1-160
Wednesday: 10:15 - 11:45, weekly (5x)
A02 2-239
Wednesday: 14:15 - 15:45, weekly (1x)
No room preference
Wednesday: 14:15 - 15:45, weekly

Comment/Description

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.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:
  • Admission locked.