End-to-End Statistical Model Checking for Parametric ODE Models. - David Julien 001; Guillaume Cantin; Benoît Delahaye (QEST, 2022)

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. - David Julien 001; Gilles Ardourel; Guillaume Cantin; Benoît Delahaye (ACM Trans. Model. Comput. Simul., 2024)