Fakulta informačních technologií VUT v Brně

Detail publikace

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

ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing. FIT-TR-2010-02, Brno: Fakulta informačních technologií VUT v Brně, 2010.
Název česky
Simulační pokrytí v Ramseyho testu univerzality a Inkluze Büchiho automatů
Typ
technická zpráva
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Clemente Lorenzo (UEDIN)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Hong Chih-Duo (ASIN)
Chen Yu-Fang (ASIN)
Mayr Richard (UEDIN)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Fakulta informačních technologií VUT v Brně
Místo
FIT-TR-2010-02, Brno, CZ
BibTeX
@TECHREPORT{FITPUB9207,
   author = "A. Parosh Abdulla and Lorenzo Clemente and Luk\'{a}\v{s} Hol\'{i}k and Chih-Duo Hong and Yu-Fang Chen and Richard Mayr and Tom\'{a}\v{s} Vojnar",
   title = "Simulation Subsumption in Ramsey-based B\"{u}chi Automata Universality and Inclusion Testing",
   pages = 30,
   year = 2010,
   location = "FIT-TR-2010-02, Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9207"
}
Nahoru