Repair with On-The-Fly Program Analysis.

Robert Könighofer Roderick Bloem

Published in: Haifa Verification Conference (2012)

Keyphrases

plan repair
damage assessment
real time
database
databases
neural network
three dimensional
learning environment
expert systems
probability distribution
repair actions