C 2010

Effective Analysis of Infinite State Stochastic Processes and Games

KUČERA, Antonín

Základní údaje

Originální název

Effective Analysis of Infinite State Stochastic Processes and Games

Autoři

Vydání

Amsterdam, The Netherlands, Logics and Languages for Reliability and Security, od s. 155-179, 25 s. NATO Science for Peace and Security Series, D, 25, 2010

Nakladatel

IOS Press

Další údaje

Jazyk

angličtina

Typ výsledku

Kapitola resp. kapitoly v odborné knize

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/10:00043952

Organizační jednotka

Fakulta informatiky

ISBN

978-1-60750-099-5

Klíčová slova anglicky

Markov chains; stochastic games; pushdown automata

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 13. 7. 2010 09:55, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

ORIG CZ

V originále

We consider the classes of Markov chains, Markov decision processes, and stochastic games definable by pushdown automata with probabilistic and non-deterministic choice. We give an overview of the existing results and present selected concepts and techniques that have been used to establish these results.

Česky

Uvažujeme třídy Markovovských řetězců, Markovovských rozhodovacích procesů a stochastických her, které jsou definovatelné zásobníkovými automaty s nedeterministickou a pravděpodobnostní volbou. Je podán přehled existujících výsledků a důkazových technik.

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