Mahmoud Bentriou

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Stochastic Model

Operational Semantics

Markov Processes

Learning Automata

Top Venues

Theor. Comput. Sci.

Publications

Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
A Formal Approach for Tuning Stochastic Oscillators. CoRR (2024)
Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
A Formal Approach for Tuning Stochastic Oscillators. CMSB (2023)
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. Theor. Comput. Sci. 893 (2021)
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
Reachability Design Through Approximate Bayesian Computation. CMSB (2019)