Knot Coloring as Verification.

Robert W. McGrail Thuy Trang Nguyen Mary Sharac Granda

Published in: SYNASC (2020)

Keyphrases

model checking
b spline
face verification
data sets
formal verification
control points
verification method
false acceptance rate
image processing
data structure
learning environment
search algorithm
knowledge base
computer vision
temporal logic
machine learning
formal methods
real time
concurrent systems