Detail publikace
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Chen Yu-Fang
Navrhli jsme novou metodu redukce alternujících Büchi automatů slučováním stavů ekvivalentních podle podle nové relace, takzvane zprostředkované (mediated) ekvivalenece. Zprostředkovaná ekvivalece je kombinací dopředné a zpětné simulace. Efektivitu metody jsme otestovali na experiementech s alternujícími automaty vznikajícími v rámci komplementace Büchi automatů.
Navrhli jsme novou metodu redukce alternujících Büchi automatů slučováním stavů ekvivalentních podle podle nové relace, takzvane zprostředkované (mediated) ekvivalenece. Zprostředkovaná ekvivalece je kombinací dopředné a zpětné simulace. Efektivitu metody jsme otestovali na experiementech s alternujícími automaty vznikajícími v rámci komplementace Büchi automatů.
@inproceedings{BUT30903,
author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Yu-Fang {Chen}",
title="Zprostředkování pro redukci (Za minimalizací alternujících automatů)",
booktitle="IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)",
year="2009",
series="LIPIcs, sv. 4",
pages="1--12",
publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
address="Wadern",
isbn="978-3-939897-13-2",
url="http://www.fit.vutbr.cz/~holik/pub/FSTTCS09.pdf"
}