Ivy: A Multi-modal Verification Tool for Distributed Algorithms.

Kenneth L. McMillan Oded Padon

Published in: CAV (2) (2020)

Keyphrases

multi modal
high dimensional
audio visual
distributed systems
cross modal
multi modality
feature extraction