Probabilistic Systems with LimSup and LimInf Objectives

DOI10.1007/978-3-642-03092-5_4zbMath1258.68099OpenAlexW1624593473MaRDI QIDQ3644792

Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 12 November 2009

Published in: Infinity in Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03092-5_4

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Stochastic games, stochastic differential games (91A15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition ⋮ Percentile queries in multi-dimensional Markov decision processes

This page was built for publication: Probabilistic Systems with LimSup and LimInf Objectives