Online Monitoring of Metric Temporal Logic.

Hsi-Ming Ho Joël Ouaknine James Worrell

Published in: RV (2014)

Keyphrases

metric temporal logic
real time
monitoring system
online learning
decision making
data sets
artificial intelligence
image segmentation
three dimensional
multiscale
objective function
hidden markov models
data acquisition
online environment
intensive care