Towards Machine Learning Enhanced LTL Monitoring.
Luca GeattiAngelo MontanariNicola SaccomannoPublished in: OVERLAY@AI*IA (2023)
Keyphrases
- machine learning
- monitoring system
- learning algorithm
- real time
- model checking
- data mining
- early warning
- machine learning methods
- deterministic automata
- learning tasks
- machine learning algorithms
- semi supervised learning
- decision trees
- information extraction
- computational intelligence
- text classification
- support vector machine
- data analysis
- computer science
- machine learning and data mining
- temporal logic
- artificial intelligence
- bounded model checking
- linear temporal logic
- condition monitoring
- feature selection
- computational biology
- pattern recognition
- knowledge acquisition
- natural language processing
- inductive learning
- machine learning approaches
- explanation based learning
- reinforcement learning
- transfer learning
- finite automata
- supervised machine learning
- learning systems