Detail publikace

Mediating for reduction (on minimizing alternating Buchi automata)

ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for reduction (on minimizing alternating Buchi automata). Theoretical Computer Science, roč. 2014, č. 552, s. 26-43. ISSN 0304-3975. Dostupné z: http://dx.doi.org/10.1016/j.tcs.2014.08.003
Název česky
Zprostředkování pro redukci (minimzlizace alternujících Buchi automatů)
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Vydavatel
Elsevier Science
DOI
UT WoS
000342475400003
EID Scopus
BibTeX
@ARTICLE{FITPUB10741,
   author = "A. Parosh Abdulla and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and Tom\'{a}\v{s} Vojnar",
   title = "Mediating for reduction (on minimizing alternating Buchi automata)",
   pages = "26--43",
   journal = "Theoretical Computer Science",
   volume = 2014,
   number = 552,
   year = 2014,
   ISSN = "0304-3975",
   doi = "10.1016/j.tcs.2014.08.003",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10741"
}
Nahoru