Conformal Prediction for STL Runtime Verification.

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

Published in: ICCPS (2023)

Keyphrases

conformal prediction
tree ensembles
ridge regression
confidence levels
k nearest neighbour
random forests
nearest neighbor
least squares