Temporal Logics for Learning and Detection of Anomalous Behavior.

Zhaodan Kong Austin Jones Calin Belta

Published in: IEEE Trans. Autom. Control. (2017)

Keyphrases

temporal logic
anomalous behavior
learning process
learning algorithm
modal logic
np hard
anomaly detection
predicate logic