The following pages link to Owl (Q5972836):
Displaying 6 items.
- Back to the future: a fresh look at linear temporal logic (Q2117656) (← links)
- Determinization and limit-determinization of Emerson-Lei automata (Q2147175) (← 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)
- A Unified Translation of Linear Temporal Logic to ω-Automata (Q5056447) (← links)
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata (Q5145684) (← links)
