Detail publikace

Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing

HOLÍK, L.; VOJNAR, T.; CHEN, Y.; MAYR, R.; HONG, C.; ABDULLA, P.; CLEMENTE, L. Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing. FIT-TR-2010-02, Brno: Faculty of Information Technology BUT, 2010. p. 0-0.
Název česky
Simulační pokrytí v Ramseyho testu univerzality a Inkluze Büchiho automatů
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Chen Yu-Fang
Mayr Richard
Hong Chih-Duo
Abdulla Parosh
Clemente Lorenzo
URL
Klíčová slova

Büchi automata, universality, language inclusion, Ramsey-based methods, simulation subsumption

Abstrakt

Existují dva základní přístupy k testování univerzality a jazykové inkluze Büchiho automatů. Tak zvané Ramseyho metody a metody využívající alternující automaty. V tomto článku rozvíjíme Ramseyho metodu, kterou obohacujeme o využití principu simulačního pokrytí. Jak dokazují naše experimenty, dosáhli jsme tak výrazného zvýšení efektivity Ramseyho metody.

Anotace

Existují dva základní přístupy k testování univerzality a jazykové inkluze Büchiho automatů. Tak zvané Ramseyho metody a metody využívající alternující automaty. V tomto článku rozvíjíme Ramseyho metodu, kterou obohacujeme o využití principu simulačního pokrytí. Jak dokazují naše experimenty, dosáhli jsme tak výrazného zvýšení efektivity Ramseyho metody.

Rok
2010
Strany
30
Vydavatel
Faculty of Information Technology BUT
Místo
FIT-TR-2010-02, Brno
BibTeX 
@techreport{BUT192678,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Yu-Fang {Chen} and Richard {Mayr} and Chih-Duo {Hong} and Parosh {Abdulla} and Lorenzo {Clemente}",
  title="Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing",
  year="2010",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2010-02, Brno",
  pages="30",
  url="http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2010-002.pdf"
}
Nahoru