Strategy Logic

This publication has 19 references indexed in Scilit:

• Assume-Guarantee Synthesis
  Published by Springer Nature ,2007
• Game Quantification on Automatic Structures and Hierarchical Model Checking Games
  Published by Springer Nature ,2006
• Play to Test
  Published by Springer Nature ,2006
• Alternating-time temporal logic
  Journal of the ACM, 2002
• Fair Simulation
  Information and Computation, 2002
• Small Progress Measures for Solving Parity Games
  Published by Springer Nature ,2000
• On model-checking for fragments of μ-calculus
  Published by Springer Nature ,1993
• Realizable and unrealizable specifications of reactive systems
  Published by Springer Nature ,1989
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Equilibrium points in n -person games
  Proceedings of the National Academy of Sciences, 1950