Program Repair without Regret.

Christian von Essen Barbara Jobstmann

Published in: CAV (2013)

Keyphrases

online learning
lower bound
loss function
database
databases
neural network
programming environment
program execution
expert advice
control program
minimax regret