PAC learning-based verification and model synthesis

Journal

Proceedings - International Conference on Software Engineering

Journal Volume

14-22-May-2016

Pages

714-724

Date Issued

2016

Author(s)

Chen, Y.-F.

Hsieh, C.

Leng?l, O.

Lii, T.-J.

Tsai, M.-H.

Wang, B.-Y.

DOI

10.1145/2884781.2884860

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/497178

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84971421959&doi=10.1145%2f2884781.2884860&partnerID=40&md5=7e24846c70968af9dc0a03ee6de030bf

Type

conference paper