2025

Jul 01, 2025

25.27 Increasing-unbounded Simple Components

Jul 01, 2025

25.12 Complexity of Reachability in Fixed-Dimensional Continuous VASS

Jul 01, 2025

25.9 Reachability in Low-Dimensional VASS

Jul 01, 2025

25.8 Semilinearity of 2-BVASS backward reachability set

2024

Jul 01, 2024

24.19 Reachability in Reversible Data VASS

Jul 01, 2024

24.11 Membership of a coverability VASS in FO2

2023

Jul 01, 2023

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

2022

Jul 01, 2022

22.3 Universal coverability for Orthant VAS

Jul 01, 2022

22.1 Complexity of fixed VAS reachability

2019

Jul 01, 2019

19.14 Continuous reachability in ordered data VAS