The following pages link to Decision problems forω-automata (Q5573396):
Displaying 5 items.
- Wadge hierarchy of omega context-free languages (Q5958618) (← links)
- An impossibility result in automata-theoretic reinforcement learning (Q6103159) (← links)
- Minimization of automata for liveness languages (Q6160912) (← links)
- Liminf progress measures (Q6171780) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)