Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations.
Joseph KimChristian MuiseAnkit ShahShubham AgarwalJulie ShahPublished in: IJCAI (2019)
Keyphrases
- bayesian inference
- linear temporal logic
- bounded model checking
- temporal logic
- model checking
- probabilistic model
- transition systems
- prior information
- model checker
- formal specification
- variational inference
- concurrent systems
- bayesian model
- hierarchical bayesian
- formal verification
- statistical inference
- specification language
- expectation propagation
- reactive systems
- variational bayes
- graphical models
- particle filter
- high level
- machine learning
- gibbs sampler
- orders of magnitude
- bayesian networks