Temporal Logics for Learning and Detection of Anomalous Behavior

DOI10.1109/TAC.2016.2585083zbMath1368.68283OpenAlexW2474788619MaRDI QIDQ5282370

Austin Jones, Zhaodan Kong, Calin Belta

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2016.2585083

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Temporal logic (03B44)

Related Items (5)

Learning linear temporal properties from noisy data: a MaxSAT-based approach ⋮ Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search ⋮ Learning specifications for labelled patterns ⋮ Adaptive testing for specification coverage and refinement in CPS models ⋮ Survey on mining signal temporal logic specifications

This page was built for publication: Temporal Logics for Learning and Detection of Anomalous Behavior