Seminator 2

MaRDI QIDQ1349655swMATHFDO

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)

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

This page was built for software: Seminator 2