Inferring Temporal Logic Properties from Data using Boosted Decision Trees.

Erfan Aasi Cristian Ioan Vasile Mahroo Bahreinian Calin Belta

Published in: CoRR (2021)

Keyphrases

temporal logic
data sets
data analysis
training data
machine learning
model checking
data mining
feature selection
xml documents
statistical methods
data mining methods