Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach.

Haitao Zhang Zhuo Cheng Jianxin Xue Yonggang Lu

Published in: SOFL+MSVL (2017)

Keyphrases

model checking
ensemble learning
weak learners
learning algorithm
gradient boosting
controller synthesis
weak classifiers
feature selection
ensemble methods
training samples
boosting algorithms
machine learning
boosting framework
data mining
timed automata
early stopping
neural network