Regularity in PDA Games Revisited

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Regularita v PDA hrách ještě jednou
Autoři

BROŽEK Václav

Rok publikování 2008
Druh Článek ve sborníku
Konference MEMICS 2008 proceedings
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://is.muni.cz/www/99081/6046298/reg_rev.pdf
Obor Informatika
Klíčová slova regular languages; probabilistic pushdown games; reachability
Popis Věnujeme se regularitě výherních množin v PDA hrách s dosažitelností. Hlavním výsledkem je důkaz regularity pro kvalitativní kritéria. To zúplňuje klasifikaci z předchozího článku na toto téma. Rovněž jsme vylepšili horní odhad na velikost reprezentace těchto množin u případů, které jsou již vyřešeny. Dále zmiňujeme problém studvaný v poslední době: počítání hodnoty hry. Pomocí našich metod dokazujeme regularitu množin konfigurací s hodnotou 0 a 1. Práce souvisí s nedávnými výsledky pro stochastické hry na spočetných grafech a vrhá více světla na některé otevřené problémy z této oblasti.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.