Specification Inference from Demonstrations.
Marcell Vazquez-ChanlatteSusmit JhaAshish TiwariSanjit A. SeshiaPublished in: CoRR (2017)
Keyphrases
- high level
- specification language
- probabilistic inference
- bayesian inference
- provably correct
- grammatical inference
- bayesian model
- formal methods
- bayesian networks
- belief networks
- data sets
- inference engine
- formal specification
- dynamic bayesian networks
- multi agent systems
- natural language
- information systems
- machine learning