Login / Signup
Canonical Representations of k-Safety Hyperproperties.
Bernd Finkbeiner
Lennart Haas
Hazem Torfah
Published in:
CoRR (2020)
Keyphrases
</>
invariant representations
multiple representations
higher level
case study
expert systems
genetic algorithm
feature selection
high level
canonical form
digital libraries
multi agent
face recognition
database
knowledge base
social networks
information retrieval
real world