Counterexample-guided focus.

Andreas Podelski Thomas Wies

Published in: POPL (2010)

Keyphrases

real time
viewpoint
databases
neural network
machine learning
artificial intelligence
database systems
objective function
data structure
object recognition
expert systems
color images
model checking