You are not logged in |
joint work with Diego Figueira and Piotr Hofman
- Speaker(s)
- Wojciech Czerwiński
- Affiliation
- Uniwersytet Warszawski
- Date
- April 22, 2020, 2:15 p.m.
- Information about the event
- Online seminar
- Title in Polish
- Universality problem for unambiguous Vector Addition Systems with States
- Seminar
- Seminar Automata Theory
I will show that the universality problem is ExpSpace-complete for unambiguous VASS,
which is in strong contrast with Ackermann-completeness of the same problem for nondeterministic VASS.
I also plan to present some more results concerning the interplay between unambiguity and VASS.
