Napolitano, Annalisa (2022) Automated Learning of Quantitative Software Models from System Traces. Advisor: Tribastone, Prof. Mirco. pp. 124. [IMT PhD Thesis]