PAC learning-based verification and model synthesis

Chen, Y.-F.Y.-F.ChenHsieh, C.C.HsiehLeng?l, O.O.Leng?lLii, T.-J.T.-J.LiiTsai, M.-H.M.-H.TsaiWang, B.-Y.B.-Y.WangFARN WANG2020-06-042020-06-042016https://scholars.lib.ntu.edu.tw/handle/123456789/497178PAC learning-based verification and model synthesisconference paper10.1145/2884781.28848602-s2.0-84971421959https://www.scopus.com/inward/record.uri?eid=2-s2.0-84971421959&doi=10.1145%2f2884781.2884860&partnerID=40&md5=7e24846c70968af9dc0a03ee6de030bf