Chen, Y.-F.Y.-F.ChenClarke, E.M.E.M.ClarkeFarzan, A.A.FarzanHe, F.F.HeTsai, M.-H.M.-H.TsaiYIH-KUEN TSAYWang, B.-Y.B.-Y.WangZhu, L.L.Zhu2018-09-102018-09-102010http://www.scopus.com/inward/record.url?eid=2-s2.0-78650271674&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/356138Comparing learning algorithms in automated assume-guarantee reasoningbook10.1007/978-3-642-16558-0_52