Pierre McKenzie

Latest

• The Reachability Problem for Two-Dimensional Vector Addition Systems with States
• Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete