Delag

MaRDI QIDQ5972886swMATHFDO

Official website https://arxiv.org/abs/1709.02102

Described by source

• LTL to deterministic Emerson-Lei automata

Cited in

(17)

• Seminator 2
• jSpin
• SPOT
• 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
• LTL2BA
• Practical synthesis of reactive systems from LTL specifications via parity games
• New optimizations and heuristics for determinization of Büchi automata
• Generic emptiness check for fun and profit
• Strix
• ltl3tela
• MoChiBA
• Owl
• Oink
• MultiGain
• Unbeast

This page was built for software: Delag