Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference

DOI10.1007/978-3-319-99154-2_18zbMath1514.68141arXiv1711.01863OpenAlexW2767719590MaRDI QIDQ6104816

Dimitrios Milios, Unnamed Author, Guido Sanguinetti

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.01863

zbMATH Keywords

moment closuremodel checkingBayesian inference

Mathematics Subject Classification ID

Bayesian inference (62F15) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of continuous-time Markov processes on discrete state spaces (60J28)

Related Items (3)

The Exit Time Finite State Projection Scheme: Bounding Exit Distributions and Occupation Measures of Continuous-Time Markov Chains ⋮ Geometric fluid approximation for general continuous-time Markov chains ⋮ Model checking Markov population models by stochastic approximations

Cites Work

• Unnamed Item
• Unnamed Item
• Smoothed model checking for uncertain continuous-time Markov chains
• Fluid computation of passage-time distributions in large Markov models
• Stochastic models, estimation, and control. Vol. 2,3
• A logic for reasoning about time and reliability
• Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
• Model checking single agent behaviours by fluid approximation
• Statistical probabilistic model checking with a focus on time-bounded properties
• Fluid Model Checking
• Expectation propagation for continuous time stochastic processes
• Approximation and inference methods for stochastic biochemical kinetics—a tutorial review
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Markov Chains
• Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems
• Model-checking continuous-time Markov chains
• Essentials of Stochastic Processes

This page was built for publication: Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference