Článek ve sborníku konference

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. In: Computer Aided Verification. Berlín: Springer Verlag, 2010, s. 132-147. ISBN 978-3-642-14294-9.
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:132-147
Sborník:Computer Aided Verification
Konference:22nd International Conference on Computer-Aided Verification
Řada knih:LNCS 6174
Místo vydání:Berlín, DE
Rok:2010
ISBN:978-3-642-14294-9
Vydavatel:Springer Verlag
URL:http://www.springerlink.com/content/n81060p2685rl46v/ [HTML]
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.
BibTeX:
@INPROCEEDINGS{
   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 = {132--147},
   booktitle = {Computer Aided Verification},
   series = {LNCS 6174},
   year = {2010},
   location = {Berl{\'{i}}n, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-14294-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9270}
}

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