Erratum to: Model Checking After Bayesian Inference

Springer Series in Reliability Engineering - Risk and Reliability Analysis: Theory and Applications ◽

10.1007/978-3-319-52425-2_24 ◽

2018 ◽

pp. E1-E1

Author(s):

Matteo Pozzi ◽

Daniele Zonta

Keyword(s):

Bayesian Inference ◽

Download Full-text

Bayesian Inference and Model Checking

Bayesian Demographic Estimation and Forecasting ◽

10.1201/9780429452987-9 ◽

2018 ◽

pp. 93-114

Author(s):

John Bryant ◽

Junni L. Zhang

Keyword(s):

Bayesian Inference ◽

Download Full-text

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

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_18 ◽

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

Download Full-text

Model Checking After Bayesian Inference

Springer Series in Reliability Engineering - Risk and Reliability Analysis: Theory and Applications ◽

10.1007/978-3-319-52425-2_14 ◽

2017 ◽

pp. 317-339

Author(s):

Matteo Pozzi ◽

Daniele Zonta

Keyword(s):

Bayesian Inference ◽

Download Full-text

Bayesian Inference by Symbolic Model Checking

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_9 ◽

2020 ◽

pp. 115-133

Author(s):

Bahare Salmani ◽

Joost-Pieter Katoen

Keyword(s):

Bayesian Inference ◽

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Download Full-text

Fundamentals of Nonparametric Bayesian Inference

10.1017/9781139029834 ◽

2017 ◽

Author(s):

Subhashis Ghosal ◽

Aad van der Vaart

Keyword(s):

Bayesian Inference ◽

Nonparametric Bayesian

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

The Long-Run Accuracy of Heuristics: Covariation Assessment, Bayesian Inference, and Hypothesis Testing

PsycEXTRA Dataset ◽

10.1037/e616342011-042 ◽

1991 ◽

Author(s):

Craig R. M. McKenzie

Keyword(s):

Bayesian Inference ◽

Hypothesis Testing ◽

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Download Full-text