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

Speaker(s)

Sławomir Lasota

Affiliation

Uniwersytet Warszawski

Date

Dec. 9, 2015, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

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

---