Temporal Logics for Learning and Detection of Anomalous Behavior

DOI10.1109/TAC.2016.2585083MaRDI QIDQ5282370zbMATH OpenOpenAlexFDO

Authors Zhaodan Kong, Austin H. Jones, 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

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

Cited in

(7)

• Learning specifications for labelled patterns
• Adaptive testing for specification coverage and refinement in CPS models
• Survey on mining signal temporal logic specifications
• 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
• A scalable anytime algorithm for learning fragments of linear temporal logic
• Fast and scalable monitoring for value-freeze operator augmented signal temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282370)