un)boundedness - logic, automata and games with countdow

Speaker(s)

Jędrzej Kołodziejski

Affiliation

MIM UW

Date

Nov. 17, 2021, 2:15 p.m.

Room

room 5050

Title in Polish

Taming

Seminar

Seminar Automata Theory

---

I will present extensions of: the modal fixpoint calculus, parity games, and parity automata - designed to capture (un)boundedness-related phenomena. The extensions lift the classical logic~games~automata correspondence beyond regular properties - in particular the logic and automata define the same languages. I will discuss results and conjectures regarding expressive power and decidability. This is a joint work with Mikołaj Bojańczyk and Bartek Klin, and the model extends the ideas of Hella, Kuusisto and Rönnholm.

---