Efficient Robust Monitoring for STL.

Alexandre Donzé Thomas Ferrère Oded Maler

Published in: CAV (2013)

Keyphrases

computationally efficient
real time
monitoring system
data sets
database systems
lightweight
highly efficient
neural network
real world
information retrieval
artificial intelligence
information systems
image sequences
decision support
computationally expensive
cost efficient