Informace o publikaci
Regularity in PDA Games Revisited
| Název česky | Regularita v PDA hrách ještě jednou |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Electronic Notes in Theoretical Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://dx.doi.org/10.1016/j.entcs.2009.08.024 |
| 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: |