Energy and Mean-Payoff Parity Markov Decision Processes

DOI10.1007/978-3-642-22993-0_21zbMath1343.90107arXiv1104.2909OpenAlexW2185277641MaRDI QIDQ3088040

Laurent Doyen, Krishnendu Chatterjee

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1104.2909

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Fuzzy and other nonstochastic uncertainty mathematical programming (90C70)

Related Items (8)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs ⋮ Ratio and Weight Quantiles ⋮ Quantitative Automata under Probabilistic Semantics ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ Probabilistic Model Checking for Energy-Utility Analysis ⋮ Unnamed Item ⋮ Measuring and Synthesizing Systems in Probabilistic Environments

This page was built for publication: Energy and Mean-Payoff Parity Markov Decision Processes