Model checking Markov population models by stochastic approximations
DOI10.1016/j.ic.2018.09.004zbMath1400.68120arXiv1711.03826OpenAlexW2963203002MaRDI QIDQ1784959
Roberta Lanciani, Laura Nenzi, Luca Bortolussi
Publication date: 27 September 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1711.03826
moment closurestochastic approximationmaximum entropypopulation modelslinear noisefluid model checkingstochastic model checking
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Smoothed model checking for uncertain continuous-time Markov chains
- Fluid computation of passage-time distributions in large Markov models
- Differential equation approximations for Markov chains
- The multidimensional maximum entropy moment problem: a review on numerical methods
- Stochastic epidemic models and their statistical analysis
- Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
- Model checking single agent behaviours by fluid approximation
- Fluid Model Checking
- Fluid Model Checking of Timed Properties
- Approximation and inference methods for stochastic biochemical kinetics—a tutorial review
- Abstraction Refinement for Probabilistic Software
- Markov Chains
- Model Reconstruction for Moment-Based Stochastic Chemical Kinetics
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Model-checking continuous-time Markov chains
- Handbook of stochastic methods for physics, chemistry and the natural sciences.
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
This page was built for publication: Model checking Markov population models by stochastic approximations