Andrei Draghici

Latest

• Reachability in Fixed VASS: Expressiveness and Lower Bounds
• Semënov Arithmetic, Affine VASS, and String Constraints