TY  - RPRT
TI  - Synthesizing Specifications
AU  - Kanghee Park
AU  - Loris D'Antoni
AU  - Thomas Reps
PY  - 2024
UR  - https://arxiv.org/abs/2301.11117
ID  - 2301.11117
ER  -