You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

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
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.

Careers

Website

© 2024 University of Warsaw. All rights reserved.