TY  - RPRT
TI  - One-clock synthesis problems
AU  - Sławomir Lasota
AU  - Mathieu Lehaut
AU  - Julie Parreaux
AU  - Radosław Piórkowski
PY  - 2026
UR  - https://arxiv.org/abs/2601.04902
ID  - 2601.04902
ER  -