Regularity in Model Checking PDA Games

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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