2022

Jul 01, 2022

22.6 Completing Partial DFAs to Synchronizing DFAs

Jul 01, 2022

22.2 Paired Counter Automata

2020

Jul 01, 2020

20.9 Memory requirements for generalized reachability games

Jul 01, 2020

20.8 Good games for good-for-games automata

Jul 01, 2020

20.5 Regular antichain subset of the iteration of a regular language

2019

Jul 01, 2019

19.16 Weak validation of tree-languages by extended automata

Jul 01, 2019

19.8 Logic and automata for multiply nested-words

Jul 01, 2019

19.7 Membership in logical classes for (succinct) finite automata

Jul 01, 2019

19.4 Separating words problem

Jul 01, 2019

19.3 Universality for unambiguous automata