Sign in

Efficient SMT-Based Analysis of Failure Propagation.

Marco BozzanoAlessandro CimattiAnthony Fernandes PiresAlberto GriggioMartin JonásGreg Kimberly
Published in: CAV (2) (2021)
Keyphrases
  • database
  • multimedia
  • multiscale
  • genetic algorithm
  • computer vision
  • language model
  • statistical analysis
  • computationally efficient