Multi-objective Discounted Reward Verification in Graphs and MDPs

DOI10.1007/978-3-642-45221-5_17zbMath1406.68051OpenAlexW2118895096MaRDI 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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Multi-objective and goal programming (90C29) 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)

Related Items (6)

Graph Games and Reactive Synthesis ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ On the comparison of discounted-sum automata with multiple discount factors ⋮ Unnamed Item ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Quantitative Automata under Probabilistic Semantics

This page was built for publication: Multi-objective Discounted Reward Verification in Graphs and MDPs