Delag
From MaRDI portal
Software:5972886
swMATH46340MaRDI QIDQ5972886FDOQ5972886
Author name not available (Why is that?)
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
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- Determinization and limit-determinization of Emerson-Lei automata
- Generic Emptiness Check for Fun and Profit
- New Optimizations and Heuristics for Determinization of Büchi Automata
This page was built for software: Delag
