On the verification of Embeddings using Hybrid Markov Logic

Open in new window