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

2018 ◽  
pp. 289-305 ◽  
Author(s):  
Dimitrios Milios ◽  
Guido Sanguinetti ◽  
David Schnoerr
Keyword(s):  
Bayesian Inference ◽  
Model Checking ◽  
Markov Chains ◽  
Probabilistic Model ◽  
Continuous Time ◽  
Probabilistic Model Checking ◽  
Continuous Time Markov Chains

scholarly journals Model-checking continuous-time Markov chains

2000 ◽  
Vol 1 (1) ◽  
pp. 162-170 ◽  
Author(s):  
Adnan Aziz ◽  
Kumud Sanwal ◽  
Vigyan Singhal ◽  
Robert Brayton
Keyword(s):  
Model Checking ◽  
Markov Chains ◽  
Continuous Time ◽  
Continuous Time Markov Chains

scholarly journals A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains

2014 ◽  
Vol 2014 ◽  
pp. 1-6
Author(s):  
Kemin Wang ◽  
Yongbin Wang ◽  
Zhengtao Jiang ◽  
Wenlong Fu
Keyword(s):  
Model Checking ◽  
Markov Chains ◽  
Continuous Time ◽  
Model Construction ◽  
Model Checker ◽  
State Explosion ◽  
Truncation Method ◽  
Continuous Time Markov Chains ◽  
System Properties ◽  
Infinite State

The model checking of Infinite-State Continuous Time Markov Chains will inevitably encounter the state explosion problem when constructing the CTMCs model; our method is to get a truncated model of the infinite one; to get a sufficient truncated model to meet the model checking of Continuous Stochastic Logic based system properties, we propose a multistep extending advanced truncation method towards model construction of CTMCs and implement it in the INFAMY model checker; the experiment results show that our method is effective.

scholarly journals Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

2009 ◽  
Vol 95 (1) ◽  
pp. 129-155 ◽  
Author(s):  
E. Moritz Hahn ◽  
Holger Hermanns ◽  
Björn Wachter ◽  
Lijun Zhang
Keyword(s):  
Model Checking ◽  
Markov Chains ◽  
Continuous Time ◽  
Bounded Model Checking ◽  
Continuous Time Markov Chains ◽  
Infinite State

scholarly journals Smoothed model checking for uncertain Continuous-Time Markov Chains

2016 ◽  
Vol 247 ◽  
pp. 235-253 ◽  
Author(s):  
Luca Bortolussi ◽  
Dimitrios Milios ◽  
Guido Sanguinetti
Keyword(s):  
Model Checking ◽  
Markov Chains ◽  
Continuous Time ◽  
Continuous Time Markov Chains
Sign in / Sign up

Export Citation Format

Share Document