Matthias Englert

Latest

• The Reachability Problem for Two-Dimensional Vector Addition Systems with States