Specification and Efficient Monitoring Beyond STL.

Alexey Bakhirkin Nicolas Basset

Published in: TACAS (2) (2019)

Keyphrases

monitoring system
cost effective
real time
databases
neural network
machine learning
multiscale
relational databases
lightweight