Conformal Prediction for STL Runtime Verification.

Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas

Published in: CoRR (2022)

Keyphrases

conformal prediction
tree ensembles
confidence levels
ridge regression
k nearest neighbour
data sets
learning algorithm