The following pages link to Why These Automata Types? (Q5222950):
Displayed 8 items.
- Regular model checking with regular relations (Q2140498) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Approximate Automata for Omega-Regular Languages (Q3297599) (← links)
- Generic Emptiness Check for Fun and Profit (Q3297604) (← links)
- (Q5875380) (← links)
- Zielonka DAG acceptance and regular languages over infinite words (Q6067335) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)
- On the translation of automata to linear temporal logic (Q6181926) (← links)