Sign in

Deciding Hyperproperties Combined with Functional Specifications.

Raven BeutnerDavid CarralBernd FinkbeinerJana HofmannMarkus Krötzsch
Published in: LICS (2022)
Keyphrases
  • functional analysis
  • computer vision
  • image processing
  • case study
  • high level
  • search algorithm
  • data analysis
  • data model
  • combining multiple