C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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