Learning Representations Through Contrastive Neural Model Checking. - Vladimir Krsmanovic; Matthias Cosler; Mohamed Ghanem; Bernd Finkbeiner (CoRR, 2025)