Seminator 2

swMATH44283MaRDI QIDQ1349655FDOQ1349655

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-53291-8_2

Source code repository: https://github.com/mklokocka/seminator

Described by source

• Seminator 2 can complement generalized Büchi automata via improved semi-determinization

Cited In (11)

• JBDD
• A Unified Translation of Linear Temporal Logic to ω-Automata
• Delag
• SPOT
• jSpin
• Omega+
• ltl2dstar
• Rabinizer
• Pecan
• Owl
• MoChiBA

This page was built for software: Seminator 2