Seminator 2

swMATH44283MaRDI QIDQ1349655FDOQ1349655

Author name not available (Why is that?)

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 (1)

• A Unified Translation of Linear Temporal Logic to ω-Automata

This page was built for software: Seminator 2