Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Wojciech Czerwinski: Tower-hardness of the reachability problem for Vector Addition Systems

Tuesday, November 10, 2020, 3:00pm

Location: Online Session

Speaker: Wojciech Czerwinski (Universität Warschau)

 

Abstract:

I will give you some intuition behind the challenges one meets when trying to prove that reachability in Vector Addition Systems (aka Petri nets) is Tower-hard and how we managed to overcome them.