The following pages link to (Q3748266):
Displaying 10 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Alternating automata with start formulas (Q915487) (← links)
- Alternating automata on infinite trees (Q1098325) (← links)
- On alternating \(\omega\)-automata (Q1109572) (← links)
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains (Q2331081) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Automata Theory and Model Checking (Q3176362) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Converting a Büchi alternating automaton to a usual nondeterministic one (Q5955787) (← links)