2022

Sep 16, 2022

22.19 Membership in Reversed Partially-Ordered Automata

2020

Nov 03, 2020

20.9 Memory requirements for generalized reachability games

Aug 03, 2020

20.8 Good games for good-for-games automata

Jul 21, 2020

20.5 Regular antichain subset of the iteration of a regular language

2019

Jul 19, 2019

19.16 Weak validation of tree-languages by extended automata

Jul 19, 2019

19.8 Logic and automata for multiply nested-words

Jul 19, 2019

19.7 Membership in logical classes for (succinct) finite automata

Jul 19, 2019

19.4 Separating words problem

Jul 19, 2019

19.3 Universality for unambiguous automata