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