Difference between revisions of "Publications/blahoudek.17.lpar"
From LRDE
(Created page with "{{Publication | published = true | date = 2017-04-03 | authors = František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček | title =...") |
|||
| Line 6: | Line 6: | ||
| booktitle = Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) |
| booktitle = Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) |
||
| editors = Thomas Eiter, David Sands, Geoff Sutcliffe |
| editors = Thomas Eiter, David Sands, Geoff Sutcliffe |
||
| − | | volume = |
+ | | volume = 46 |
| series = EPiC Series in Computing |
| series = EPiC Series in Computing |
||
| − | | pages = |
+ | | pages = 356 to 367 |
| publisher = EasyChair Publications |
| publisher = EasyChair Publications |
||
| − | | note = To appear |
||
| lrdeprojects = Spot |
| lrdeprojects = Spot |
||
| lrdenewsdate = 2017-04-03 |
| lrdenewsdate = 2017-04-03 |
||
| Line 29: | Line 28: | ||
year = <nowiki>{</nowiki>2017<nowiki>}</nowiki>, |
year = <nowiki>{</nowiki>2017<nowiki>}</nowiki>, |
||
editor = <nowiki>{</nowiki>Thomas Eiter and David Sands and Geoff Sutcliffe<nowiki>}</nowiki>, |
editor = <nowiki>{</nowiki>Thomas Eiter and David Sands and Geoff Sutcliffe<nowiki>}</nowiki>, |
||
| − | volume = <nowiki>{</nowiki> |
+ | volume = <nowiki>{</nowiki>46<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>EPiC Series in Computing<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>EPiC Series in Computing<nowiki>}</nowiki>, |
||
| − | pages = <nowiki>{</nowiki> |
+ | pages = <nowiki>{</nowiki>356--367<nowiki>}</nowiki>, |
month = may, |
month = may, |
||
publisher = <nowiki>{</nowiki>EasyChair Publications<nowiki>}</nowiki>, |
publisher = <nowiki>{</nowiki>EasyChair Publications<nowiki>}</nowiki>, |
||
| − | note = <nowiki>{</nowiki>To appear<nowiki>}</nowiki>, |
||
abstract = <nowiki>{</nowiki>We present a tool that transforms nondeterministic |
abstract = <nowiki>{</nowiki>We present a tool that transforms nondeterministic |
||
$\omega$-automata to semi-deterministic $\omega$-automata. |
$\omega$-automata to semi-deterministic $\omega$-automata. |
||
Revision as of 10:31, 22 May 2017
- Authors
- František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček
- Where
- Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21)
- Type
- inproceedings
- Publisher
- EasyChair Publications
- Projects
- Spot
- Date
- 2017-04-03
Abstract
We present a tool that transforms nondeterministic ω-automata to semi-deterministic ω-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.
Documents
Bibtex (lrde.bib)
@InProceedings{ blahoudek.17.lpar,
author = {Franti\v{s}ek Blahoudek and Alexandre Duret-Lutz and
Mikul\'{a}\v{s} Kloko\v{c}ka and Mojm\'{\i}r
K\v{r}et\'{\i}nsk\'{y} and Jan Strej\v{c}ek},
title = {Seminator: A Tool for Semi-Determinization of
Omega-Automata},
booktitle = {Proceedings of the 21th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning
(LPAR-21)},
year = {2017},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe},
volume = {46},
series = {EPiC Series in Computing},
pages = {356--367},
month = may,
publisher = {EasyChair Publications},
abstract = {We present a tool that transforms nondeterministic
$\omega$-automata to semi-deterministic $\omega$-automata.
The tool Seminator accepts transition-based generalized
B\"uchi 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.}
}