TY  - RPRT
TI  - Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement
AU  - Tianhao Wu
AU  - Yiwei Lyu
PY  - 2026
UR  - https://arxiv.org/abs/2603.06947
ID  - 2603.06947
ER  -