Assume-Guarantee Synthesis

This publication has 11 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Semiperfect-Information Games
  Published by Springer Nature ,2005
• Distributed Games
  Published by Springer Nature ,2003
• Alternating-time temporal logic
  Journal of the ACM, 2002
• Algorithms, games, and the internet
  Published by Association for Computing Machinery (ACM) ,2001
• Distributed Controller Synthesis for Local Specifications
  Published by Springer Nature ,2001
• Abstract Interpretation of Game Properties
  Published by Springer Nature ,2000
• Languages, Automata, and Logic
  Published by Springer Nature ,1997
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• The complexity of two-player games of incomplete information
  Journal of Computer and System Sciences, 1984