TY  - RPRT
TI  - Synthesis with Privacy Against an Observer
AU  - Orna Kupferman
AU  - Ofer Leshkowitz
AU  - Namma Shamash Halevy
PY  - 2025
DO  - 10.46298/lmcs-21(3:12)2025
UR  - https://arxiv.org/abs/2411.08635
ID  - 2411.08635
ER  -