Universality problem for unambiguous Vector Addition Systems with States

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.