Technická zpráva

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.
Jazyk publikace:angličtina
Název publikace:Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing
Název (cs):Simulační pokrytí v Ramseyho testu univerzality a Inkluze Büchiho automatů
Strany:30
Místo vydání:FIT-TR-2010-02, Brno, CZ
Rok:2010
Vydavatel:Fakulta informačních technologií VUT v Brně
URL:http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2010-002.pdf [PDF]
Klíčová slova
Büchi automata, universality, language inclusion, Ramsey-based methods, simulation subsumption
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.
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.
BibTeX:
@TECHREPORT{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9207}
}

Vaše IPv4 adresa: 3.95.23.35
Přepnout na https