Prediction without Preclusion: Recourse Verification with Reachable Sets.

Avni Kothari Bogdan Kulynych Tsui-Wei Weng Berk Ustun

Published in: CoRR (2023)

Keyphrases

prediction accuracy
multistage
prediction model
case study
prediction algorithm
asynchronous circuits
database
multi agent
model checking
prediction error
real time
neural network
data mining
data streams
linear program