Realizing ømega-regular Hyperproperties.

Bernd Finkbeiner Christopher Hahn Jana Hofmann Leander Tentrup

Published in: CAV (2) (2020)

Keyphrases

database
real world
prior knowledge
data sets
data structure
real life