Login / Signup
Compositional Verification Using Geodesic Distance via Assume-Guarantee Reasoning.
Xiaoyan Liu
Published in:
IEEE Access (2024)
Keyphrases
</>
geodesic distance
shortest path
euclidean space
euclidean distance
manifold learning
distance transform
geometric structure
fisher information
distance metric