TY  - RPRT
TI  - Multi-Property Synthesis
AU  - Christoph Weinhuber
AU  - Yannik Schnitzer
AU  - Alessandro Abate
AU  - David Parker
AU  - Giuseppe De Giacomo
AU  - Moshe Y. Vardi
PY  - 2026
UR  - https://arxiv.org/abs/2601.10651
ID  - 2601.10651
ER  -