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