scientific article
From MaRDI portal
Publication:3384895
Mickael Randour, Patricia Bouyer, Mauricio Gonzalez, Nicolas Markey
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03107
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Simple Strategies in Multi-Objective MDPs ⋮ A multi-objective approach for PH-graphs with applications to stochastic shortest paths ⋮ Unnamed Item ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
- Maximizing the Conditional Expected Reward for Reaching the Goal
- The Odds of Staying on Budget
- Trade-off analysis meets probabilistic model checking
- Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
- Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
- Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
- Variations on the Stochastic Shortest Path Problem
- Markov Decision Processes with Multiple Long-run Average Objectives
- Markov Decision Processes with Multiple Long-Run Average Objectives
- Percentile queries in multi-dimensional Markov decision processes
This page was built for publication:
