Mahmoud Bentriou

Available identifiers

zbMath Open bentriou.mahmoudMaRDI QIDQ2238217

List of research outcomes

Publication	Date of Publication	Type
A formal approach for tuning stochastic oscillators	2024-02-28	Paper
Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models	2021-11-01	Paper
Reachability design through approximate Bayesian computation	2019-10-10	Paper

Research outcomes over time

This page was built for person: Mahmoud Bentriou