Reaching Semilinear Target Sets in Automata with One Counter

Prelegent(ci)

Henry Sinclair-Banks

Afiliacja

University of Warsaw

Język referatu

angielski

Termin

16 kwietnia 2025 14:15

Pokój

p. 5440

Tytuł w języku polskim

Reaching Semilinear Target Sets in Automata with One Counter

Seminarium

Seminarium „Teoria automatów”

---

I will introduce a (novel) generalised reachability problem in automata with one counter with a variety of semantics. 
The goal of the seminar is to identify what features of target sets make the reachability problem easy or (NP-)hard and to detail some new concepts and algorithmic techniques for one-dimensional integer VASS (and 1-dimensional Parikh automata).

---