Stochastic game logic

DOI10.1007/S00236-012-0156-0MaRDI QIDQ715046zbMATH OpenOpenAlexFDO

Authors Christel Baier, Tomáš Brázdil, Marcus Grösser, Antonin 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

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

Recommendations

• Strategy Logic
• Strategy logic
• Reasoning about strategies: on the model-checking problem
• A stochastic interpretation of game logic
• Reasoning about strategies: on the satisfiability problem

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 2163041 (Why is no real title available?)
• scientific article; zbMATH DE number 5593264 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
• A lattice-theoretical fixpoint theorem and its applications
• ATL with Strategy Contexts and Bounded Memory
• Alternating-time temporal logic
• Complexity of deciding Tarski algebra
• Concurrent reachability games
• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
• Model checking of probabilistic and nondeterministic systems
• Strategy logic
• The complexity of probabilistic verification
• The complexity of theorem-proving procedures

Cited in

(6)

• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
• Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
• A stochastic interpretation of game logic
• Model checking hyperproperties for Markov decision processes
• Memoryless strategies for stochastic games via domain theory

This page was built for publication: Stochastic game logic

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