Conformal Prediction for STL Runtime Verification.

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

Published in: Allerton (2023)

Keyphrases

conformal prediction
ridge regression
tree ensembles
confidence levels
k nearest neighbour
random forests
neural network
learning algorithm
mutual information