2024

Jul 14, 2024

24.19 Reachability in Reversible Data VASS

Jul 05, 2024

24.11 Membership of a coverability VASS in FO2

2022

Sep 16, 2022

22.1 Complexity of fixed VAS reachability

Sep 16, 2022

22.3 Universal coverability for Orthant VAS

2019

Jul 19, 2019

19.14 Continuous reachability in ordered data VAS

Jul 19, 2019

19.12 Reachability for bounded branching VASS

Jul 19, 2019

19.11 Shortest runs in 3-D VASS

Jul 19, 2019

19.10 Variants of one-counter systems universality