Für interessierte UnRAVeL Mitglieder: Research Seminar by RTG QuantLA: Wojciech Czerwinski: Tower-hardness of the reachability problem for Vector Addition Systems

Dienstag, 10.11.2020, 15.00 Uhr

Ort: Online Session

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