Andrew Ryzhikov

Latest

• Reachability in Fixed VASS: Expressiveness and Lower Bounds