Delag

swMATH46340MaRDI QIDQ5972886FDOQ5972886

Author name not available (Why is that?)

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

Described by source

• LTL to deterministic Emerson-Lei automata

Cited In (17)

• Unbeast
• 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
• New optimizations and heuristics for determinization of Büchi automata
• Generic emptiness check for fun and profit
• Determinization and limit-determinization of Emerson-Lei automata
• SPOT
• jSpin
• LTL2BA
• Strix
• MultiGain
• ltl3tela
• Owl
• Oink
• Seminator 2
• MoChiBA

This page was built for software: Delag