Probabilistic Systems with LimSup and LimInf Objectives

DOI10.1007/978-3-642-03092-5_4MaRDI QIDQ3644792zbMATH OpenOpenAlexFDO

Authors 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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Stochastic games, stochastic differential games (91A15) Games involving graphs (91A43)

Recommendations

• A Survey of Stochastic Games with Limsup and Liminf Objectives
• Markov decision processes with multiple long-run average objectives
• Multi-Objective Model Checking of Markov Decision Processes
• Multi-objective Model Checking of Markov Decision Processes
• scientific article; zbMATH DE number 1786649

Cited in

(9)

• Qualitative analysis of VASS-induced MDPs
• Percentile queries in multi-dimensional Markov decision processes
• Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
• Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
• Limit synchronization in Markov decision processes
• Partial and conditional expectations in Markov decision processes with integer weights
• Stochastic shortest paths and weight-bounded properties in Markov decision processes
• Mixing probabilistic and non-probabilistic objectives in Markov decision processes
• A Survey of Stochastic Games with Limsup and Liminf Objectives

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3644792)