scientific article
From MaRDI portal
Publication:2911642
DOI10.4230/LIPICS.FSTTCS.2011.411zbMath1246.68164MaRDI QIDQ2911642
Nathalie Bertrand, Blaise Genest
Publication date: 31 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model-checkingstochastic gamespartially observable Markov decision processesworst-case/average-case analysis
Stochastic games, stochastic differential games (91A15) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication:
