Robustly Safe Compilation.

Marco Patrignani Deepak Garg

Published in: ESOP (2019)

Keyphrases

real time
genetic algorithm
image segmentation
training data
image analysis
special case
knowledge compilation
prime implicates