Regularity in Model Checking PDA Games

• Název česky: Regularita v model-checking problému PDA her
• Autoři: BROŽEK Václav
• Rok publikování: 2007
• Druh: Článek ve sborníku
• Konference: MEMICS proceedings
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://is.muni.cz/www/99081/6046298/reg_conf.pdf
• Obor: Informatika
• Klíčová slova: regular languages; probabilistic pushdown games; reachability
• Popis: Klasifikovali jsme regularitu množin konfigurací v PDA hrách splňujících danou pravděpodobnostní podmínku dosažitelnosti pro hry 1 1/2 hráče v obecnosti a 2 1/2 hráče v případě dosažitelnosti koncové konfigurace.

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy