Detail publikace
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
HOLÍK, L. VOJNAR, T. ABDULLA, P. CHEN, Y.
Originální název
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Český název
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
cs
Originální 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ů.
Český 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ů.
Rok RIV
2009
Vydáno
15.12.2009
Nakladatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Wadern
ISBN
978-3-939897-13-2
Kniha
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)
Edice
LIPIcs, sv. 4
Číslo edice
NEUVEDEN
Strany od
1
Strany do
12
Strany počet
12
URL
Dokumenty
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"
}