Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference.
Artur MrowcaMartin NockerSebastian SteinhorstStephan GünnemannPublished in: DAC (2019)
Keyphrases
- bayesian inference
- hidden variables
- learning algorithm
- learning process
- reinforcement learning
- pairwise
- prior knowledge
- active learning
- hyperparameters
- hierarchical bayesian
- data sets
- bayesian models
- inference process
- statistical learning
- incremental learning
- probability density function
- prior information
- particle filter
- probabilistic model