Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, et al.. Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Crete, Greece.
⟨inria-00515167⟩