Stochastic game logic

DOI10.1007/s00236-012-0156-0zbMath1276.68103OpenAlexW2041894791MaRDI QIDQ715046

Christel Baier, Marcus Größer, Tomáš Brázdil, Antonín Kučera

Publication date: 15 October 2012

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-012-0156-0

zbMATH Keywords

model checkingalternating-time temporal logicprobabilistic multi-player games

Mathematics Subject Classification ID

(n)-person games, (n>2) (91A06) Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Model checking hyperproperties for Markov decision processes

Cites Work

• Strategy logic
• Complexity of deciding Tarski algebra
• Concurrent reachability games
• A lattice-theoretical fixpoint theorem and its applications
• Model checking of probabilistic and nondeterministic systems
• Alternating-time temporal logic
• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
• ATL with Strategy Contexts and Bounded Memory
• The complexity of probabilistic verification
• A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stochastic game logic