Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang. Synthesize Models for Quantitative Analysis Using Automata Learning. In Mohamed Faouzi Atig, Alexander A. Schwarzmann, editors, Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers. Volume 11704 of Lecture Notes in Computer Science, pages 75-92, Springer, 2019. [doi]
Abstract is missing.