Monitoring for a Decidable Fragment of MTL-∫.

André de Matos Pedro David Pereira Luís Miguel Pinho Jorge Sousa Pinto

Published in: RV (2015)

Keyphrases

multi task learning
real time
monitoring system
first order logic
automata theoretic
early warning
pairwise
learning tasks
temporal logic
inductive learning
multitask learning