Multi-objective Discounted Reward Verification in Graphs and MDPs
From MaRDI portal
Publication:2870130
DOI10.1007/978-3-642-45221-5_17zbMath1406.68051MaRDI QIDQ2870130
Vojtěch Forejt, Krishnendu Chatterjee, Dominik Wojtczak
Publication date: 17 January 2014
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_17
68Q25: Analysis of algorithms and problem complexity
90C29: Multi-objective and goal programming
91A15: Stochastic games, stochastic differential games
90C40: Markov and semi-Markov decision processes
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Quantitative Automata under Probabilistic Semantics, Unnamed Item, Percentile queries in multi-dimensional Markov decision processes, On the comparison of discounted-sum automata with multiple discount factors, Quantitative verification and strategy synthesis for stochastic games, Graph Games and Reactive Synthesis