Stratified Certification for k-Induction.

Emily Yu Nils Froleyks Armin Biere Keijo Heljanko

Published in: FMCAD (2022)

Keyphrases

inductive learning
third party
program synthesis
concept formation
genetic algorithm
database systems
learning environment
inductive logic programming
inductive inference
inductive reasoning
database
machine learning
explanation based learning
subgroup discovery
discovery process
sequence prediction