Temporal logic inference for classification and prediction from data.

Zhaodan Kong Austin Jones Ana Medina Ayala Ebru Aydin Gol Calin Belta

Published in: HSCC (2014)

Keyphrases

temporal logic
data sets
training data
bayesian networks
reinforcement learning
xml documents
dynamic programming
query language
data sources