Stud.IP Uni Oldenburg
University of Oldenburg
15.08.2022 20:35:02
Lecture: 2.01.488 Advanced Automata Theory - Details
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 Sommersemester 2022
Current number of participants 6
expected number of participants 40
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Wed., 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

Course location / Course dates

A03 2-209 Wed.. 10:15 - 11:45 (9x)
Wed.. 14:15 - 15:45 (9x)
A05 1-160 Wed.. 10:15 - 11:45 (5x)
A02 2-239 Wed.. 14:15 - 15:45 (1x)
n.a. Wednesday: 14:15 - 15:45, weekly


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.