Publication detail

Zprostředkování pro redukci (Za minimalizací alternujících automatů)

HOLÍK, L. VOJNAR, T. ABDULLA, P. CHEN, Y.

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"
}