Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification.
Jirí BalunTomás MasopustPetr OsickaPublished in: CoRR (2023)
Keyphrases
- lower bound
- upper bound
- model checking
- objective function
- branch and bound algorithm
- high speed
- branch and bound
- random field model
- quadratic assignment problem
- upper and lower bounds
- lower and upper bounds
- vc dimension
- maximum likelihood
- np hard
- optimal solution
- real time
- verification method
- face verification
- conditional probabilities
- special case
- image sequences
- image segmentation