Taming

Prelegent(ci)

Jędrzej Kołodziejski

Afiliacja

MIM UW

Termin

17 listopada 2021 14:15

Pokój

p. 5050

Tytuł w języku angielskim

un)boundedness - logic, automata and games with countdow

Seminarium

Seminarium „Teoria automatów”

---

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.

---