Sign in
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