Tool support for learning Büchi automata and linear temporal logic

YIH-KUEN TSAYChen, Y.-F.Y.-F.ChenTsai, M.-H.M.-H.TsaiWu, K.-N.K.-N.WuChan, W.-C.W.-C.ChanLuo, C.-J.C.-J.LuoChang, J.-S.J.-S.Chang2018-09-102018-09-102009http://www.scopus.com/inward/record.url?eid=2-s2.0-63749103168&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/347391Tool support for learning Büchi automata and linear temporal logicjournal article10.1007/s00165-008-0091-6