Verification Series
VASS Reachability: What's new and why do I care?
11th June 2019, 11:00
Patrick Totzke
Abstract
I will talk about the reachability problem for vector addition systems, a.k.a. Petri Nets.
While its decidability is considered to be one of the great achievements in theoretical computer science, the massive gap in our knowledge concerning its complexity is a major embarrassment.
I will motivate the model and the relevance of the problem, recall its history and present the status quo.
If time permits I'll present some ideas from our LICS'16 paper that fixes the complexity in dimension 2.
Department of Computer Science
,
University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275
Call the department
+44 (0)151 795 4275