Publication detail
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Original Title
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Czech Title
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Language
cs
Original Abstract
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ů.
Czech abstract
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ů.
Documents
BibTex
@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ů)",
annote="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ů.",
address="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
booktitle="IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)",
chapter="30903",
edition="LIPIcs, sv. 4",
howpublished="print",
institution="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
year="2009",
month="december",
pages="1--12",
publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
type="conference paper"
}