Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games

DOI10.1016/J.IC.2016.10.011zbMATH Open1371.91022OpenAlexW2555847713MaRDI QIDQ528191FDOQ528191

Véronique Bruyère, Mickael Randour, Jean-François Raskin, Emmanuel Filiot

Publication date: 12 May 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4458/

zbMATH Keywords

Markov decision processshortest pathbeyond worst-case synthesismean-payofftwo-player quantitative game on graphworst-case and expected value

Mathematics Subject Classification ID

2-person games (91A05) Markov and semi-Markov decision processes (90C40) Games involving graphs (91A43)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of mean payoff games on graphs
• Probability Inequalities for Sums of Bounded Random Variables
• Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
• The complexity of probabilistic verification
• Borel determinacy
• An Analysis of Stochastic Shortest Path Problems
• A note on the complexity of cryptography (Corresp.)
• Positional strategies for mean payoff games
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Percentile performance criteria for limiting average Markov decision processes
• PP is as Hard as the Polynomial-Time Hierarchy
• Minimizing risk models in Markov decision processes with policies depending on target values
• On short paths interdiction problems: Total and node-wise limited interdiction
• Stochastic Games with Perfect Information and Time Average Payoff
• Trading Performance for Stability in Markov Decision Processes
• Mean-Payoff Games with Partial-Observation
• Energy and Mean-Payoff Games with Imperfect Information
• Hoeffding's inequality for uniformly ergodic Markov chains
• Faster algorithms for mean-payoff games
• Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
• On Time with Minimal Expected Cost!
• Games through Nested Fixpoints
• Mathematical Foundations of Computer Science 2004
• Fast convergence to state-action frequency polytopes for MDPs
• Strategy synthesis for multi-dimensional quantitative objectives
• The complexity of multi-mean-payoff and multi-energy games
• Looking at mean-payoff and total-payoff through windows
• Lower Bounds for Selection in X + Y and Other Multisets
• Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
• Variations on the Stochastic Shortest Path Problem
• Percentile queries in multi-dimensional Markov decision processes
• The complexity of the \(K\)th largest subset problem and related problems

Cited In (16)

• Title not available (Why is that?)
• Simple Strategies in Multi-Objective MDPs
• Timed games with bounded window parity objectives
• Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
• Combinations of Qualitative Winning for Stochastic Parity Games
• Title not available (Why is that?)
• Quantitative reductions and vertex-ranked infinite games
• Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
• Title not available (Why is that?)
• Stochastic games with lexicographic objectives
• Title not available (Why is that?)
• Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
• Title not available (Why is that?)
• Title not available (Why is that?)
• LTL reactive synthesis with a few hints
• Title not available (Why is that?)

This page was built for publication: Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games

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