Timed pushdown automata, equations over sets of integers, and branching vector addition systems with states in dimension 1

Prelegent(ci)

Sławomir Lasota

Afiliacja

Uniwersytet Warszawski

Termin

9 grudnia 2015 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

Mutual reductions between the three models will be discussed. Decidability of emptiness is an intriguing open problem.

---