SAT-Based Synthesis Methods for Safety Specs.

Roderick Bloem Robert Könighofer Martina Seidl

Published in: VMCAI (2014)

Keyphrases

preprocessing
computational cost
computationally expensive
artificial intelligence
image sequences
training set
domain specific
classification method
integer programming