The Density of Linear-Time Properties.

Bernd Finkbeiner Hazem Torfah

Published in: ATVA (2017)

Keyphrases

machine learning
wide range
real time
neural network
search engine
computer vision
image processing
case study
evolutionary algorithm
rough sets
markov chain
desirable properties
topological properties
low density