@misc{indiciae41a614c9c5d7,
  title = {Signal Temporal Logic Synthesis as Probabilistic Inference},
  author = {Ki Myung Brian Lee and Chanyeol Yoo and Robert Fitch},
  year = {2021},
  url = {https://arxiv.org/abs/2105.06121},
  note = {Source identifier: 2105.06121}
}