Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

DOI10.1016/j.tcs.2021.09.039OpenAlexW3203548977MaRDI 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

zbMATH Keywords

Bayesian inferenceapproximate Bayesian computationchemical reaction networksstatistical model checkinglinear hybrid automatatime-bounded reachabilityMarkov population modelsHASL

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

A formal approach for tuning stochastic oscillators

Uses Software

• PRISM
• StochKit
• VESTA
• Ymer
• COSMOS
• StochKit2
• Storm

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Beta kernel estimators for density functions
• Smoothed model checking for uncertain continuous-time Markov chains
• Approximate Bayesian computational methods
• Nonparametric density estimation for multivariate bounded data
• A logic for reasoning about time and reliability
• On optimal selection of summary statistics for approximate Bayesian computation
• Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
• Reachability design through approximate Bayesian computation
• Statistical probabilistic model checking with a focus on time-bounded properties
• Stochastic Model Checking
• Sequential Monte Carlo Samplers
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Adaptive approximate Bayesian computation
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Computer Aided Verification
• Computer Aided Verification