Game Quantification on Automatic Structures and Hierarchical Model Checking Games

DOI10.1007/11874683_27MaRDI QIDQ3613353zbMATH OpenOpenAlexFDO

Authors Łukasz Kaiser

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_27

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)

Recommendations

• Logic and games on automatic structures. Playing with quantifiers and decompositions
• Quantified CTL: expressiveness and model checking (extended abstract)
• Model checking games for the quantitative \(\mu\)-calculus
• Model checking games for the quantitative \(\mu \)-calculus
• Game Quantification Patterns

Cited in

(6)

• Automated verification of state sequence invariants in general game playing
• Measure Properties of Game Tree Languages
• A symbolic finite-state approach for automated proving of theorems in combinatorial game theory
• Infinite games with finite knowledge gaps
• Automatic Strategy Verification for Hex
• Strategy logic

This page was built for publication: Game Quantification on Automatic Structures and Hierarchical Model Checking Games

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