Pages that link to "Item:Q2946678"
From MaRDI portal
The following pages link to Translating to Co-Büchi Made Tight, Unified, and Useful (Q2946678):
Displaying 5 items.
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
- The Quest for a Tight Translation of Büchi to co-Büchi Automata (Q3586001) (← links)
- On the Way to Alternating Weak Automata (Q5090957) (← links)
- Rabin vs. Streett Automata (Q5136307) (← links)