Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees.
Erfan AasiMingyu CaiCristian Ioan VasileCalin BeltaPublished in: L4DC (2023)
Keyphrases
- incremental learning
- temporal logic
- decision trees
- model checking
- naive bayes
- modal logic
- machine learning algorithms
- training data
- incremental learning algorithm
- concurrent systems
- satisfiability problem
- training set
- supervised learning
- machine learning
- fuzzy artmap
- unlabeled samples
- semi supervised
- belief revision
- neural network
- computation tree logic
- learning process
- linear temporal logic
- support vector
- transition systems
- verification method
- mazurkiewicz traces
- automata theoretic
- bounded model checking
- feature selection
- batch mode
- batch learning
- temporally extended
- temporal knowledge
- formal specification
- active learning
- feature set
- classification algorithm