Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
RP 2026 [ slides ]
Reachability in VASS Extended with Integer Counters
LICS 2026 [ slides ]
Reachability in 3-VASS is Elementary
HIGHLIGHTS 2025 [ slides ]
Languages of Boundedly-Ambiguous Vector Addition Systems with States
CONCUR 2025 [ slides ]
Low-Dimensional VASS: Where Our Tools Fail Us
SAMSA 2025 [ slides ] [ Workshop website ]
Languages of Unambiguous Vector Addition Systems with States
New Lower Bounds for Reachability in Vector Addition Systems
FSTTCS 2023 [ slides ]