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.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
Bayesian inferenceapproximate Bayesian computationchemical reaction networksstatistical model checkinglinear hybrid automatatime-bounded reachabilityMarkov population modelsHASL
Related Items
Uses Software
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
