Central limit model checking by Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation by Kwiatkowska, M, Bortolussi, L, Cardelli, L, Laurenti, L

Central limit model checking by Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

Robustness of Bayesian neural networks to gradient-based attacks by Carbone, G, Wicker, M, Laurenti, L, Patane, A, Bortolussi, L, Sanguinetti, G

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision by Laurenti, L, Abate, A, Bortolussi, L, Kwiatkowska, M, Cardelli, L, Ceska, M

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision by Laurenti, L, Abate, A, Bortolussi, L, Cardelli, L, Ceska, M, Kwiatkowska, M