Ki Myung Brian Lee, Chanyeol Yoo, Robert Fitch. Signal Temporal Logic Synthesis as Probabilistic Inference. In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021. pages 5483-5489, IEEE, 2021. [doi]
Abstract is missing.