Signal Temporal Logic Synthesis as Probabilistic Inference.

Ki Myung Brian Lee, Chanyeol Yoo, Robert Fitch

Browse the full ICRA paper archive.