Synthesize Models for Quantitative Analysis Using Automata Learning.
Journal
Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers
Pages
75-92
Date Issued
2019
Author(s)
SDGs
Type
conference paper