Online verification of commutativity.

Aditi Kabra Dietrich Geisler Adrian Sampson

Published in: TAPAS@SPLASH (2020)

Keyphrases

online learning
computer vision
decision making
multiscale
model checking
online environment
real world
data mining
feature selection
search algorithm
face verification
formal verification
functional verification