One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems.
Patrick IndriAlberto BartoliEric MedvetLaura NenziPublished in: EuroGP (2022)
Keyphrases
- temporal logic
- anomaly detection
- cyber physical systems
- cyber security
- intrusion detection
- model checking
- linear time temporal logic
- intrusion detection system
- physical world
- modal logic
- network traffic
- detecting anomalies
- anomalous behavior
- network security
- network intrusion detection
- logical formulas
- embedded systems
- decision trees
- linear temporal logic
- critical infrastructure
- unsupervised learning
- belief revision
- detect anomalies
- one class support vector machines
- artificial intelligence
- reinforcement learning
- social networks
- machine learning
- data sources
- information security
- negative selection algorithm