Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
暂无分享,去创建一个
[1] Rupak Majumdar,et al. Tools and Algorithms for the Construction and Analysis of Systems , 1997, Lecture Notes in Computer Science.
[2] Viktor Schuppan,et al. RATSY - A New Requirements Analysis Tool with Synthesis , 2010, CAV.
[3] Krishnendu Chatterjee,et al. Assume-Guarantee Synthesis , 2007, TACAS.
[4] Amir Pnueli,et al. Jtlv: A Framework for Developing Verification Algorithms , 2010, CAV.
[5] Ufuk Topcu,et al. Distributed power allocation for vehicle management systems , 2011, IEEE Conference on Decision and Control and European Control Conference.
[6] Amir Pnueli,et al. Distributed reactive systems are hard to synthesize , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
[7] Krishnendu Chatterjee,et al. Environment Assumptions for Synthesis , 2008, CONCUR.
[8] Ufuk Topcu,et al. Counter-strategy guided refinement of GR(1) temporal logic specifications , 2013, 2013 Formal Methods in Computer-Aided Design.
[9] Sanjit A. Seshia,et al. Mining assumptions for synthesis , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[10] Bernd Finkbeiner,et al. Uniform distributed synthesis , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[11] Steven M. LaValle,et al. Planning algorithms , 2006 .
[12] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..