Model Checking Games

DOI10.1016/S1571-0661(04)80538-3MaRDI QIDQ4916199zbMATH OpenOpenAlexFDO

Authors Erich Grädel

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80538-3

zbMATH Keywords

complexitymodel checkingparity gamesfixed-point logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10)

Cites work

• scientific article; zbMATH DE number 1500523 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 784042 (Why is no real title available?)
• Borel determinacy
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Modal logics and mu-calculi: An introduction
• On logics with two variables
• On the synthesis of strategies in infinite games
• Rudiments of \(\mu\)-calculus
• Unification as a complexity measure for logic programming

Cited in

(9)

• Model-checking games for fixpoint logics with partial order models
• On the expressive power of monadic least fixed point logic
• Model checking Russian cards
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Abstract argument games via modal logic
• A Dynamic Algorithm for Reachability Games Played on Trees
• Pushdown processes: Games and model-checking
• On-the-Fly Techniques for Game-Based Software Model Checking
• An application of model checking games to abstract argumentation

This page was built for publication: Model Checking Games

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