Stefan Göller

Latest

• The Reachability Problem for Two-Dimensional Vector Addition Systems with States
• A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
• Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
• Reachability in Register Machines with Polynomial Updates
• Branching-Time Model Checking of Parametric One-Counter Automata
• Model Checking Succinct and Parametric One-Counter Automata