Regularity in Model Checking PDA Games

BROŽEK, Václav. Regularity in Model Checking PDA Games. In MEMICS proceedings. Brno: Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.), 2007, s. 27-34. ISBN 978-80-7355-077-6.

Základní údaje

Originální název

Regularity in Model Checking PDA Games

Název česky

Regularita v model-checking problému PDA her

Autoři

BROŽEK, Václav (203 Česká republika, garant)

Vydání

Brno, MEMICS proceedings, od s. 27-34, 8 s. 2007

Nakladatel

Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.)

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14330/07:00022905

Organizační jednotka

Fakulta informatiky

ISBN

978-80-7355-077-6

Klíčová slova anglicky

regular languages; probabilistic pushdown games; reachability

Štítky

probabilistic pushdown games, reachability, regular languages

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Regularity of sets of configurations satisfying a given probabilistic reachability objective in PDA games was classified up to 1 1/2 player games in general and 2 1/2 player games for termination objective.

Česky

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.

---

Návaznosti

MSM0021622419, záměr	Název: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV	Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky