Fakulta informačních technologií VUT v Brně

Detail publikace

Mediating for Reduction (On Minimizing Alternating Büchi Automata)

ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Zprostředkování pro redukci (Za minimalizací alternujících automatů). In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). LIPIcs, sv. 4. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, s. 1-12. ISBN 978-3-939897-13-2.
Název anglicky
Mediating for Reduction (On Minimizing Alternating Büchi Automata)
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Abdulla Parosh A. (Uppsala)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
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ů.
Anotace
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ů.
Rok
2009
Strany
1-12
Sborník
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)
Řada
LIPIcs, sv. 4
Konference
Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, IN
ISBN
978-3-939897-13-2
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Wadern, DE
BibTeX
@INPROCEEDINGS{FITPUB9140,
   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 B\"{u}chi Automata)",
   pages = "1--12",
   booktitle = "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)",
   series = "LIPIcs, sv. 4",
   year = 2009,
   location = "Wadern, DE",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISBN = "978-3-939897-13-2",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/9140"
}
Nahoru