Assume-Guarantee Synthesis
暂无分享,去创建一个
[1] Krishnendu Chatterjee,et al. Quantitative stochastic parity games , 2004, SODA '04.
[2] John H. Reif,et al. The Complexity of Two-Player Games of Incomplete Information , 1984, J. Comput. Syst. Sci..
[3] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[4] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[5] P. S. Thiagarajan,et al. Distributed Controller Synthesis for Local Specifications , 2001, ICALP.
[6] Jaikumar Radhakrishnan,et al. FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science , 2004, Lecture Notes in Computer Science.
[7] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[8] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[9] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[10] Abraham Silberschatz,et al. Operating System Concepts , 1983 .
[11] Thomas A. Henzinger,et al. Abstract Interpretation of Game Properties , 2000, SAS.
[12] Thomas A. Henzinger,et al. You Assume, We Guarantee: Methodology and Case Studies , 1998, CAV.
[13] Yuri Gurevich,et al. Trees, automata, and games , 1982, STOC '82.
[14] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.
[15] Krishnendu Chatterjee,et al. Semiperfect-Information Games , 2005, FSTTCS.
[16] Krishnendu Chatterjee,et al. Games with secure equilibria , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[17] Moshe Tennenholtz,et al. Distributed Games , 1998, TARK.
[18] Sundar Sarukkai,et al. FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings , 2005, FSTTCS.
[19] Igor Walukiewicz,et al. Distributed Games , 2003, FSTTCS.
[20] Wolfgang Thomas,et al. Languages, Automata, and Logic , 1997, Handbook of Formal Languages.
[21] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[22] Christos H. Papadimitriou,et al. Algorithms, Games, and the Internet , 2001, ICALP.