Owl
From MaRDI portal
Software:5972836
swMATH46335MaRDI QIDQ5972836FDOQ5972836
Author name not available (Why is that?)
Source code repository: https://github.com/owl-toolkit/owl
Cited In (6)
- Practical synthesis of reactive systems from LTL specifications via parity games
- LTL to self-loop alternating automata with generic acceptance and back
- A Unified Translation of Linear Temporal Logic to ω-Automata
- Back to the future: a fresh look at linear temporal logic
- Determinization and limit-determinization of Emerson-Lei automata
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata
This page was built for software: Owl
