Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions.
Samuele GerminianiGraziano PravadelliPublished in: VLSI-SoC (2022)
Keyphrases
- decision tree algorithms
- boolean expressions
- decision trees
- clustering algorithm
- model checking
- decision tree induction
- data points
- data mining
- probability distribution
- decision tree learning
- normal form
- text classification
- relational databases
- pairwise
- training data
- knowledge base
- learning algorithm
- information retrieval