Safety Property-Driven Stubborn Sets.

Henri Hansen Antti Valmari

Published in: RP (2016)

Keyphrases

data driven
decision making
expert systems
genetic algorithm
similarity measure
set theoretic
databases
machine learning
feature selection
image sequences
desirable properties