You are not logged in |
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.
