Sign in

Realizing ømega-regular Hyperproperties.

Bernd FinkbeinerChristopher HahnJana HofmannLeander Tentrup
Published in: CAV (2) (2020)
Keyphrases
  • database
  • real world
  • prior knowledge
  • data sets
  • data structure
  • real life