Jul 14, 2024

24.19 Reachability in Reversible Data VASS

Jul 12, 2024

24.16 Speed of victory in adversarial population games

Jul 05, 2024

24.7 Minimality for Deterministic Suffix-reading Automata

Jul 05, 2024

24.9 Is the Hierarchy of Valence Systems with Open Reachability Proper?

Jul 05, 2024

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

Sep 16, 2023

23.1 TARGET in asynchronous shared-memory systems

Sep 16, 2022

22.2 Paired Counter Automata

Sep 16, 2022

22.6 Completing Partial DFAs to Synchronizing DFAs

Sep 16, 2022

22.13 Büchi automata using graph neural networks

Sep 16, 2022

22.14 Transformation monoid minimisation