Seminator: A Tool for Semi-Determinization of Omega-Automata
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F17%3A00094743" target="_blank" >RIV/00216224:14330/17:00094743 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.29007/k5nl" target="_blank" >http://dx.doi.org/10.29007/k5nl</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.29007/k5nl" target="_blank" >10.29007/k5nl</a>
Alternative languages
Result language
angličtina
Original language name
Seminator: A Tool for Semi-Determinization of Omega-Automata
Original language description
We present a tool that transforms nondeterministic omega-automata to semi-deterministic omega-automata. The tool Seminator accepts transition-based generalized Büchi automata (TGBA) as an input and produces automata with two kinds of semi-determinism. The implemented procedure performs degeneralization and semi-determinization simultaneously and employs several other optimizations. We experimentally evaluate Seminator in the context of LTL to semi-deterministic automata translation.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017)
ISBN
—
ISSN
2398-7340
e-ISSN
—
Number of pages
12
Pages from-to
356-367
Publisher name
EPiC Series in Computing
Place of publication
Dagstuhl
Event location
Maun Botswana
Event date
Jan 1, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—