2024

Jul 14, 2024

24.19 Reachability in Reversible Data VASS

2023

Aug 09, 2023

23.5 Linear loop synthesis: When d variables are not enough.

2022

Sep 16, 2022

22.14 Transformation monoid minimisation

Sep 16, 2022

22.17 Eventual non-negativity of Matrices

Sep 16, 2022

22.18 Learning sequences

Sep 16, 2022

22.19 Membership in Reversed Partially-Ordered Automata