Synthesize Models for Quantitative Analysis Using Automata Learning.

Chen, Yu-FangYu-FangChenChung, Hsiao-chenHsiao-chenChungHung, Wen-ChiWen-ChiHungTsai, Ming-HsienMing-HsienTsaiWang, Bow-YawBow-YawWangFARN WANG2020-06-042020-06-042019https://scholars.lib.ntu.edu.tw/handle/123456789/497119[SDGs]SDG4Synthesize Models for Quantitative Analysis Using Automata Learning.conference paper10.1007/978-3-030-31277-0_6https://doi.org/10.1007/978-3-030-31277-0_6