A case study on parametric verification of failure detectors.

Thanh-Hai Tran Igor Konnov Josef Widder

Published in: CoRR (2021)

Keyphrases

model checking
object detection
case study
failure prediction
formal verification
computer vision
decision trees
multi class
formal analysis
input image
concurrent systems
person identification
root cause
face verification
database
evolutionary algorithm
expert systems
genetic algorithm
real world