@misc{indiciae8df628319283,
  title = {Multi-Property Synthesis},
  author = {Christoph Weinhuber and Yannik Schnitzer and Alessandro Abate and David Parker and Giuseppe De Giacomo and Moshe Y. Vardi},
  year = {2026},
  url = {https://arxiv.org/abs/2601.10651},
  note = {Source identifier: 2601.10651}
}