Efficient Generation of Inductive Validity Cores for Safety Properties.

Elaheh Ghassabani Andrew Gacek Michael W. Whalen

Published in: CoRR (2016)

Keyphrases

structural properties
cost effective
inductive learning
real world
computer vision
information systems
efficient implementation
concept learning