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

zbMATH Keywords

moment closurestochastic approximationmaximum entropypopulation modelslinear noisefluid model checkingstochastic model checking

Mathematics Subject Classification ID

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)

Predicting the population growth and structure of China based on grey fractional-order models ⋮ A logical framework for reasoning about local and global properties of collective systems ⋮ Analysis of Markov jump processes under terminal constraints

Uses Software

• PRISM
• iNA
• CERENA

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