Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
From MaRDI portal
Publication:2238218
DOI10.1016/j.tcs.2021.09.039MaRDI QIDQ2238218
Paul-Henry Cournède, Paolo Ballarini, Mahmoud Bentriou
Publication date: 1 November 2021
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2021.09.039
Bayesian inference; approximate Bayesian computation; chemical reaction networks; statistical model checking; linear hybrid automata; time-bounded reachability; Markov population models; HASL
68Qxx: Theory of computing
Uses Software