Delag
From MaRDI portal
Software:5972886
No author found.
Related Items (6)
Determinization and limit-determinization of Emerson-Lei automata ⋮ From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ LTL to self-loop alternating automata with generic acceptance and back ⋮ New Optimizations and Heuristics for Determinization of Büchi Automata ⋮ Generic Emptiness Check for Fun and Profit ⋮ Practical synthesis of reactive systems from LTL specifications via parity games
This page was built for software: Delag
