@misc{Weinhuber2026MultiProperty,
  title = "Multi-Property Synthesis",
  author = "Christoph Weinhuber and Yannik Schnitzer and Alessandro Abate and Giuseppe De Giacomo and David Parker and Moshe Vardi",
  year = "2026",
  howpublished = "LAMA/SR@FLoC 2026",
}