Reachability Design Through Approximate Bayesian Computation. - Mahmoud Bentriou; Paolo Ballarini; Paul-Henry Cournède (CMSB, 2019)

Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. - Mahmoud Bentriou; Paolo Ballarini; Paul-Henry Cournède (Theor. Comput. Sci., 2021)

Statistical Inference and Verification of Chemical Reaction Networks. (Inférence et vérification statistiques de réseaux de réactions chimiques). - Mahmoud Bentriou (2021)

A Formal Approach for Tuning Stochastic Oscillators. - Paolo Ballarini; Mahmoud Bentriou; Paul-Henry Cournède (CMSB, 2023)