Interval Temporal Logic Decision Tree Learning.
Andrea BrunelloGuido SciaviccoIonel Eduard StanPublished in: CoRR (2020)
Keyphrases
- temporal logic
- decision tree learning
- model checking
- decision trees
- constructive induction
- modal logic
- attribute values
- ensemble methods
- decision tree induction
- meta learning
- verification method
- information gain
- data sets
- transition systems
- computation tree logic
- formal specification language
- mazurkiewicz traces
- learning algorithm
- reactive systems
- temporal knowledge
- linear temporal logic
- artificial intelligence
- belief revision