@misc{indiciae662faa0cafd5,
  title = {Live Synthesis},
  author = {Bernd Finkbeiner and Felix Klein and Niklas Metzger},
  year = {2021},
  url = {https://arxiv.org/abs/2107.01136},
  note = {Source identifier: 2107.01136}
}