Detail publikace

Mediating for reduction (on minimizing alternating Buchi automata)

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y. Mediating for reduction (on minimizing alternating Buchi automata). Theoretical Computer Science, 2014, vol. 2014, no. 552, p. 26-43. ISSN: 0304-3975.
Název česky
Zprostředkování pro redukci (minimzlizace alternujících Buchi automatů)
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Chen Yu-Fang
URL
Klíčová slova

alternating Buchi automata space reduction simulation quotinet mediation

Abstrakt

Prezentujeme metodu prostorové redukce alternujících Buchiho automatů založenou na kombinaci dopředné a zpětné simulace, spolu s algoritmy pro výpočet těchto relací.

Rok
2014
Strany
26–43
Časopis
Theoretical Computer Science, roč. 2014, č. 552, ISSN 0304-3975
DOI
10.1016/j.tcs.2014.08.003
UT WoS
000342475400003
EID Scopus
2-s2.0-84926326209
BibTeX 
@article{BUT111664,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Yu-Fang {Chen}",
  title="Mediating for reduction (on minimizing alternating Buchi automata)",
  journal="Theoretical Computer Science",
  year="2014",
  volume="2014",
  number="552",
  pages="26--43",
  doi="10.1016/j.tcs.2014.08.003",
  issn="0304-3975",
  url="http://dx.doi.org/10.1016/j.tcs.2014.08.003"
}
Nahoru