Machine Learning Detects Anomalies in OPS-SAT Telemetry.
Bogdan RuszczakKrzysztof KotowskiJacek AndrzejewskiAlicja MusialDavid EvansVladimir ZelenevskiySam BammensRodrigo LaurinovicsJakub NalepaPublished in: ICCS (1) (2023)
Keyphrases
- machine learning
- anomaly detection
- production system
- expert systems
- sat solvers
- machine learning methods
- knowledge acquisition
- explanation based learning
- satisfiability problem
- inductive learning
- machine learning algorithms
- natural language processing
- detecting anomalies
- data mining
- model selection
- decision trees
- learning systems
- sat solving
- propositional satisfiability
- learning algorithm
- machine learning approaches
- artificial intelligence
- computer vision
- learning problems
- reinforcement learning
- pattern recognition
- data analysis
- text classification
- active learning
- information extraction
- search algorithm
- state space
- detection method
- intrusion detection
- computational intelligence