The following publications are possibly variants of this publication:
- Automated Assume-Guarantee Reasoning through Implicit LearningYu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang. cav 2010: 511-526 [doi]
- Comparing Learning Algorithms in Automated Assume-Guarantee ReasoningYu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu. ISoLA 2010: 643-657 [doi]
- Breaking up is hard to do: An evaluation of automated assume-guarantee reasoningJamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke. TOSEM, 17(2), 2008. [doi]
- Automated assume-guarantee reasoning for omega-regular systems and specificationsSagar Chaki, Arie Gurfinkel. isse, 7(2):131-139, 2011. [doi]
- Automated Assume-Guarantee Reasoning for Omega-Regular Systems and SpecificationsSagar Chaki, Arie Gurfinkel. NFM 2010: 57-66
- Assume-Guarantee Reasoning for DeadlockSagar Chaki, Nishant Sinha. FMCAD 2006: 134-144 [doi]