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

http://www.fit.vutbr.cz/~holik/pub/FSTTCS09.pdf

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