TY  - RPRT
TI  - Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming
AU  - Philip Smith
AU  - Ahmad Ahmad
AU  - Kevin Leahy
PY  - 2026
UR  - https://arxiv.org/abs/2606.30820
ID  - 2606.30820
ER  -