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

• Originální 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í
• WWW: 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

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.

Anotace č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