PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing obj...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Kwiatkowska, M, Parker, D, Wiltsche, C
स्वरूप:	Journal article
प्रकाशित:	Springer Verlag 2017

समान संसाधन

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2016)

Compositional strategy synthesis for stochastic games with multiple objectives
द्वारा: Basset, N, और अन्य
प्रकाशित: (2017)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
द्वारा: Basset, N, और अन्य
प्रकाशित: (2014)

On Stochastic Games with Multiple Objectives
द्वारा: Chen, T, और अन्य
प्रकाशित: (2013)

Multi-player equilibria verification for concurrent stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2020)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2020)

Compositional Controller Synthesis for Stochastic Games
द्वारा: Basset, N, और अन्य
प्रकाशित: (2014)

Assume-guarantee strategy synthesis for stochastic games
द्वारा: Wiltsche, C
प्रकाशित: (2015)

Quantitative verification and strategy synthesis of stochastic games
द्वारा: Svorenova, M, और अन्य
प्रकाशित: (2016)

Symbolic verification and strategy synthesis for turn-based stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2022)

Automated verification of concurrent stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2008)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
द्वारा: Gutierrez, J, और अन्य
प्रकाशित: (2020)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
द्वारा: Yan, R, और अन्य
प्रकाशित: (2024)

Model checking and strategy synthesis for stochastic games: from theory to practice
द्वारा: Kwiatkowska, M
प्रकाशित: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
द्वारा: Kwiatkowska, M
प्रकाशित: (2024)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
द्वारा: Santos, GHR
प्रकाशित: (2020)

Rational verification: game-theoretic verification of multi-agent systems
द्वारा: Abate, A, और अन्य
प्रकाशित: (2021)

Decidability results for multi-objective stochastic games
द्वारा: Brenguier, R, और अन्य
प्रकाशित: (2016)

Strategy complexity of reachability in countable stochastic 2-player games
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2024)

Expectation vs. reality: towards verification of psychological games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2024)

Verification and control of turn-based probabilistic real-time games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2019)

Correlated equilibria and fairness in concurrent stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2022)

PRISM 4.0: Verification of probabilistic real-time systems
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2011)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
द्वारा: Jovanović, A, और अन्य
प्रकाशित: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
द्वारा: Jovanovic, A, और अन्य
प्रकाशित: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
द्वारा: Jovanović, A, और अन्य
प्रकाशित: (2014)

Partially observable stochastic games with neural perception mechanisms
द्वारा: Yan, R, और अन्य
प्रकाशित: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2019)

Multi-Player Non-Cooperative Game Strategy of a Nonlinear Stochastic System with Time-Varying Parameters
द्वारा: Xiangyun Lin, और अन्य
प्रकाशित: (2023-12-01)

A multi-player game equilibrium problem based on stochastic variational inequalities
द्वारा: Cunlin Li, और अन्य
प्रकाशित: (2024-09-01)

PLAYING STOCHASTIC GAMES PRECISELY
द्वारा: Chen, T, और अन्य
प्रकाशित: (2012)

Playing Stochastic Games Precisely
द्वारा: Chen, T, और अन्य
प्रकाशित: (2012)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
द्वारा: Yan, R, और अन्य
प्रकाशित: (2024)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
द्वारा: Yan, R, और अन्य
प्रकाशित: (2022)

Quantitative Multi-objective Verification for Probabilistic Systems.
द्वारा: Forejt, V, और अन्य
प्रकाशित: (2011)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
द्वारा: Češka, M, और अन्य
प्रकाशित: (2016)

Stochastic games with risk sensitive pay off for n-players
द्वारा: Alain Bensoussan, और अन्य
प्रकाशित: (2000-11-01)

Automatic verification of concurrent stochastic systems
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2021)