Small inductive safe invariants.

Alexander Ivrii Arie Gurfinkel Anton Belov

Published in: FMCAD (2014)

Keyphrases

inductive learning
data sets
rule learning
real time
machine learning
knowledge representation
medium size
database systems
search algorithm
pattern recognition
object recognition
expert systems
small number