Assume-guarantee synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 261-278

  Chatterjee, Krishnendu ^a   Henzinger, Thomas A ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLOSED LOOP SYSTEMS; COMPUTATION THEORY; NETWORK PROTOCOLS; SPECIFICATIONS; STRATEGIC PLANNING;

CLASSICAL SYNTHESIS; MUTUAL-EXCLUSION PROTOCOL; OPPONENT PROCESS; REACTIVE SYSTEMS; AUTOMATIC SYNTHESIS; EQUILIBRIUM STRATEGY; MUTUAL EXCLUSION PROTOCOL; MUTUAL EXCLUSIONS; STARVATION-FREEDOM; SYNTHESIS ALGORITHMS; SYNTHESIS PROBLEMS; WINNING STRATEGY;

ARTIFICIAL INTELLIGENCE; MODEL CHECKING;

EID: 37149031064     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_21     Document Type: Conference Paper

References (14)

1. R. Alur and T.A. Henzinger. Reactive modules. In Formal Methods in System Design, 15:7-48, 1999.
2. R. Alur, T.A. Henzinger, O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49:672-713, 2002.
3. K. Chatterjee and T.A. Henzinger. Semiperfect-information games. In FSTTCS'05, LNCS 3821, pages 1-18. Springer, 2005.
4. K. Chatterjee, T.A. Henzinger, M. Jurdziński. Games with secure equilibria. In LICS'04, pages 160-169. IEEE, 2004.
5. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs'81, LNCS 131, pages 52-71. Spinger, 1982.
6. Y. Gurevich and L. Harrington. Trees, automata, and games. In STOC'82, pages 60-65. ACM, 1982.
7. T.A. Henzinger, R. Majumdar, F.Y.C. Mang, J.-F. Raskin. Abstract interpretation of game properties. In SAS'00, LNCS 1824, pages 220-239. Springer, 2000.
8. P. Madhususan and P.S. Thiagarajan. Distributed controller synthesis for local specifications. In ICALP'01, LNCS 2076, pages 396-407. Springer, 2001.
9. S. Mohalik and I. Walukiewicz. Distributed games. In FSTTCS'03, LNCS 2914, pages 338-351. Springer, 2003.
10. C.H. Papadimitriou. Algorithms, games, and the internet. In STOC'01, pages 749-753. ACM, 2001.
11. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL'89, pages 179-190. ACM, 1989.
12. P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete-event processes. SIAM Journal of Control and Optimization, 25:206-230, 1987.
13. J.H. Reif. The complexity of 2-player games of incomplete information. Journal of Computer and System Sciences, 29:274-301, 1984.
14. W. Thomas. Languages, automata, and logic. In Handbook of Formal Languages, volume 3, pages 389-455. Springer, 1997.