Informace o publikaci
Regularity in PDA Games Revisited
| Název česky | Regularita v PDA hrách ještě jednou |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek ve sborníku |
| Konference | MEMICS 2008 proceedings |
| Fakulta / Pracoviště MU | |
| 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: |