Reachability design through approximate Bayesian computation

DOI10.1007/978-3-030-31304-3_11zbMath1422.92052OpenAlexW2973642607MaRDI QIDQ2326594

Paul-Henry Cournède, Mahmoud Bentriou, Paolo Ballarini

Publication date: 10 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-31304-3_11

zbMATH Keywords

parameter estimationhybrid automataABC methods

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40) Attainable sets, reachability (93B03) Systems biology, networks (92C42)

Related Items (2)

A formal approach for tuning stochastic oscillators ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

This page was built for publication: Reachability design through approximate Bayesian computation