Randone, Francesca (2024) Efficient and Accurate Analysis of Two Classes of Transparent Generative Models. Advisor: Tribastone, Prof. Mirco. Coadvisor: Bortolussi, Prof. Luca . pp. 162. [IMT PhD Thesis]