Software Verification of Hyperproperties Beyond k-Safety.

Raven Beutner Bernd Finkbeiner

Published in: CAV (1) (2022)

Keyphrases

website
real time
data sets
neural network
genetic algorithm
computer vision
multimedia
object recognition
preprocessing
feature space
civil aviation