2025

Jul 01, 2025

25.15 Complexity of Maximising reachability for target sets of size 1

Jul 01, 2025

25.12 Complexity of Reachability in Fixed-Dimensional Continuous VASS

Jul 01, 2025

25.9 Reachability in Low-Dimensional VASS

2024

Jul 01, 2024

24.12 Fine-grained complexity of reachability in one-counter automata

2023

Jul 01, 2023

23.7 The time-complexity of coverability in unary 1-VASS

Jul 01, 2023

23.4 Bounds on the length of a coverability path in VASS

Jul 01, 2023

23.3 Reachability problem for thin 1-GVASS

2022

Jul 01, 2022

22.3 Universal coverability for Orthant VAS

2019

Jul 01, 2019

19.14 Continuous reachability in ordered data VAS

Jul 01, 2019

19.12 Reachability for bounded branching VASS