Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference.
Dimitrios MiliosGuido SanguinettiDavid SchnoerrPublished in: QEST (2018)
Keyphrases
- bayesian inference
- model checking
- probabilistic model
- temporal logic
- continuous time markov chains
- hyperparameters
- temporal properties
- formal specification
- formal verification
- automated verification
- prior information
- symbolic model checking
- model checker
- transition systems
- finite state
- bounded model checking
- generative model
- computation tree logic
- bayesian networks
- epistemic logic
- verification method
- graphical models
- timed automata
- hidden variables
- poisson distribution
- latent variables
- conditional random fields
- conditional probabilities
- markov processes
- particle filter
- alternating time temporal logic
- mixture model
- non stationary
- formal methods