Verifying Linearisability with Potential Linearisation Points.

John Derrick Gerhard Schellhorn Heike Wehrheim

Published in: FM (2011)

Keyphrases

point sets
computer vision
d objects
data sets
objective function
feature space
model checking
critical points