Interpolating Strong Induction.

Hari Govind Vediramana Krishnan Yakir Vizel Vijay Ganesh Arie Gurfinkel

Published in: CAV (2) (2019)

Keyphrases

case study
data sets
decision making
program synthesis
real time
inductive learning
mobile robot
multiscale
three dimensional
machine learning
databases
support vector
information retrieval
inductive logic programming
rule induction
version space
constructive induction