TY  - RPRT
TI  - Learning specifications for reactive synthesis with safety constraints
AU  - Kandai Watanabe
AU  - Nicholas Renninger
AU  - Sriram Sankaranarayanan
AU  - Morteza Lahijanian
PY  - 2026
UR  - https://arxiv.org/abs/2601.05533
ID  - 2601.05533
ER  -