Compositional strategy synthesis for stochastic games with multiple objectives
type: Item
instance of: scholarly article
title: Compositional strategy synthesis for stochastic games with multiple objectives
zbMATH Open document ID: 1395.68265
author: Nicolas Basset
author: C. Wiltsche
author: Marta Kwiatkowska
published in: Information and Computation
publication date: 2018-06-14T00:00:00Z
Mathematics Subject Classification ID: 68T40
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 91A15
zbMATH DE Number: 6889871
describes a project that uses: PRISM-games
describes a project that uses: MCGP
MaRDI profile type: Publication
OpenAlex ID: W2414117530
cites work: Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
cites work: Quantitative Analysis under Fairness Constraints
cites work: Q4673428
cites work: Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
cites work: Compositional Controller Synthesis for Stochastic Games
cites work: Reachability Games on Extended Vector Addition Systems with States
cites work: Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
cites work: Generalized mean-payoff and energy games
cites work: Q5365120
cites work: Assume-Guarantee Synthesis
cites work: Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
cites work: Markov Decision Processes with Multiple Objectives
cites work: Strategy synthesis for multi-dimensional quantitative objectives
cites work: Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
cites work: PRISM-games: A Model Checker for Stochastic Multi-Player Games
cites work: Playing Stochastic Games Precisely
cites work: On Stochastic Games with Multiple Objectives
cites work: Switched PIOA: parallel composition via distributed scheduling
cites work: Q4692885
cites work: Q4791844
cites work: Positional strategies for mean payoff games
cites work: Multi-Objective Model Checking of Markov Decision Processes
cites work: Pareto Curves for Probabilistic Model Checking
cites work: Strategy Composition in Compositional Games
cites work: Playing Extensive Form Games in Parallel
cites work: Q5417672
cites work: Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)
cites work: Compositional probabilistic verification through multi-objective model checking
cites work: Automated Verification and Strategy Synthesis for Probabilistic Systems
cites work: Q3549475
cites work: Q4484484
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: Probabilistic automata
cites work: Variations on the Stochastic Shortest Path Problem
cites work: Percentile queries in multi-dimensional Markov decision processes
cites work: Q4235027
cites work: Q4367948
cites work: Stochastic Games
cites work: Guaranteed performance regions in Markovian systems with competing decision makers
cites work: Automatic verification of competitive stochastic systems
cites work: Validation of Stochastic Systems
cites work: Quantitative verification and strategy synthesis for stochastic games
cites work: Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives
cites work: The complexity of multi-mean-payoff and multi-energy games
cites work: Synthesizing Efficient Controllers
cites work: Multi-objective infinite-horizon discounted Markov decision processes
DOI: 10.1016/J.IC.2017.09.010
Recommended article: Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
Recommended article: Strategy Composition in Compositional Games
Recommended article: Compositional Controller Synthesis for Stochastic Games
Recommended article: Optimal Strategy Synthesis in Stochastic Müller Games
Recommended article: Q5020955
Recommended article: On Stochastic Games with Multiple Objectives
Recommended article: Compositional Game Theory
Recommended article: Decidability results for multi-objective stochastic games
Recommended article: Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
description: scientific article; zbMATH DE number 6889871