swMATH46335MaRDI QIDQ5972836FDOQ5972836
Author name not available (Why is that?)
Official website: https://owl.model.in.tum.de
Source code repository: https://github.com/owl-toolkit/owl
Cited In (24)
- JBDD
- 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
- Polsat
- BoSy
- Delag
- Back to the future: a fresh look at linear temporal logic
- Determinization and limit-determinization of Emerson-Lei automata
- SPOT
- jSpin
- BEEM
- LTL2BA
- ltl2dstar
- Rabinizer
- LTLMoP
- Copilot
- Strix
- Baselines
- ltl3tela
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata
- Oink
- Seminator 2
- MoChiBA
This page was built for software: Owl
