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, p. 27-34. ISBN 978-80-7355-077-6.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Regularity in Model Checking PDA Games
Name in Czech Regularita v model-checking problému PDA her
Authors BROŽEK, Václav (203 Czech Republic, guarantor).
Edition Brno, MEMICS proceedings, p. 27-34, 8 pp. 2007.
Publisher Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.)
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14330/07:00022905
Organization unit Faculty of Informatics
ISBN 978-80-7355-077-6
Keywords in English regular languages; probabilistic pushdown games; reachability
Tags probabilistic pushdown games, reachability, regular languages
Tags International impact, Reviewed
Changed by Changed by: RNDr. Václav Brožek, Ph.D., učo 99081. Changed: 19/12/2008 10:16.
Abstract
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.
Abstract (in Czech)
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.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 25/5/2024 19:47