The following pages link to Delag (Q5972886):
Displaying 6 items.
- Determinization and limit-determinization of Emerson-Lei automata (Q2147175) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- LTL to self-loop alternating automata with generic acceptance and back (Q2202003) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- Generic Emptiness Check for Fun and Profit (Q3297604) (← links)