Automated Verification of Concurrent Stochastic Games

DOI10.1007/978-3-319-99154-2_14zbMath1514.68138OpenAlexW2886584225MaRDI QIDQ6104811

No author found.

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://birmingham.elsevierpure.com/en/publications/6d1f0f80-896e-4dca-b071-aecdca6ebf1a

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A counter abstraction technique for verifying properties of probabilistic swarm systems, Automatic verification of concurrent stochastic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Quantitative verification and strategy synthesis for stochastic games
• Strategy improvement for concurrent reachability and turn-based stochastic safety games
• A survey of stochastic \(\omega \)-regular games
• Quantitative solution of omega-regular games
• Automatic verification of competitive stochastic systems
• Concurrent reachability games
• A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
• Alternating-time temporal logic
• Algorithms for stochastic games ? A survey
• The determinacy of Blackwell games
• Results on the quantitative μ-calculus qM μ
• Equilibrium points in n -person games