Boosting Lazy Abstraction for SystemC with Partial Order Reduction.
Alessandro CimattiIman NarasamdyaMarco RoveriPublished in: TACAS (2011)
Keyphrases
- partial order reduction
- model checking
- petri net
- weak classifiers
- ensemble methods
- learning algorithm
- feature selection
- machine learning
- weak learners
- lazy learning
- computer vision
- ensemble learning
- early stopping
- search algorithm
- high level
- artificial intelligence
- temporal abstractions
- decision stumps
- boosting framework
- randomized trees