Reachability in Symmetric VASS

arXiv:2506.23578 · cs.FL, cs.CL · Submitted 2025-06-30 · Read on arXiv

cs.FL, cs.CL

Submitted: 2025-06-30

Updated: 2026-09-26

Terminology

• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations