Automatic Inference of Specifications in the K Framework.

María Alpuente Daniel Pardo Alicia Villanueva

Published in: PROLE (2015)

Keyphrases

bayesian networks
real time
decision making
data driven
main contribution
theoretical framework
probabilistic inference
unified framework