56 citations · 231 across the 17 of their papers we have counts for
1 paper · 2 filters
Matthias Englert, Ranko Lazić, Patrick Totzke
Blondin et al. showed at LICS 2015 that two-dimensional vector addition systems with states have reachability witnesses of length exponential in the number of states and polynomial…