Signal Temporal Logic Synthesis as Probabilistic Inference | IEEE Conference Publication | IEEE Xplore