Detail publikace

Summaries for Context-Free Games

HOLÍK, L.; MEYER, R.; MUSKALLA, S. Summaries for Context-Free Games. In 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016. p. 41-57. ISBN: 978-3-95977-027-9.
Název česky
Souhrny pro bezkontextové gramatiky
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Meyer Roland, Prof. Dr.
Muskalla Sebastian (FIT)
URL
Klíčová slova

summaries, context-free games, Kleene iteration, transition monoid, strategy synthesis

Abstrakt

Navrhli jsme algoritmus pro syntézu strategie pro bezkontextové hry s regulárním atraktorem. Experimentálně se ukazuje, že je jeho výkonnost řádově lepší, než dosavadní přístupy.

Rok
2016
Strany
41–57
Sborník
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)
Řada
Leibniz International Proceedings in Informatics (LIPIcs)
Konference
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Chennai Mathematical Institute, Chennai, India, CZ
ISBN
978-3-95977-027-9
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Dagstuhl
DOI
10.4230/LIPIcs.FSTTCS.2016.41
EID Scopus
2-s2.0-85010782799
BibTeX 
@inproceedings{BUT133506,
  author="Lukáš {Holík} and Roland {Meyer} and Sebastian {Muskalla}",
  title="Summaries for Context-Free Games",
  booktitle="36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)",
  year="2016",
  series="Leibniz International Proceedings in Informatics (LIPIcs)",
  pages="41--57",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Dagstuhl",
  doi="10.4230/LIPIcs.FSTTCS.2016.41",
  isbn="978-3-95977-027-9",
  url="http://drops.dagstuhl.de/opus/volltexte/2016/6876"
}
Nahoru