PV1 Seminatortransforms a transition-based generalised Büchi automaton into an equivalent semi-deterministic one

A tool for semi-determinization and complementaiton of Transition-based generalised Büchi automata (TGBAs).

Application domain/field

Expected input

Transition-based generalised Büchi automata (TGBA), Transition-based Büchi automata (TBA) or Büchi automata (BA)

Format:

HOA format

Expected output

Semi-deterministic TGBA/TBA/BA (type of automata that is produced depends on configuration/options).

Internals

Transforms transition-based generalised Büchi automata (TGBAs) into equivalent semi-deterministic automata

Comments

"Seminator 2 is an almost complete rewrite of Seminator."
Automaton

Links

Repository: https://github.com/mklokocka/seminator

Last commit date

12 March 2021

Related papers

https://doi.org/10.1007/978-3-030-53291-8_2 (CAV 2020)

Last publication date

14 July 2020

Related tools

Owl

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.