Seminator 2

swMATH44283MaRDI QIDQ1349655

No author found.

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

Described by source

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

Related Items (1)

A Unified Translation of Linear Temporal Logic to ω-Automata

This page was built for software: Seminator 2