Explainable Online Monitoring of Metric Temporal Logic.

Leonardo Lima Andrei Herasimau Martin Raszyk Dmitriy Traytel Simon Yuan

Published in: TACAS (2) (2023)

Keyphrases

metric temporal logic
real time
online learning
monitoring system
information systems
online communities
computer vision
case study
multi agent
artificial neural networks
probabilistic model
decision support
anomaly detection
virtual communities
online algorithms