Ranko Lazić

Latest

• The Reachability Problem for Two-Dimensional Vector Addition Systems with States
• A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One