Canonical Representations of k-Safety Hyperproperties.

Bernd Finkbeiner Lennart Haas Hazem Torfah

Published in: CSF (2019)

Keyphrases

artificial intelligence
data sets
invariant representations
image processing
multiple representations
distributed representations
safety analysis
coal mining
real time
neural network
genetic algorithm
decision making
search algorithm
object recognition