2026 arXiv Relaxation of Conflicting STL Rules via Feasibility Restoration and Pareto-Optimal Analysis with Applications in Autonomous Driving Tianhao Wu, and Yiwei Lyu 2026 PDF 2023 arXiv Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions Qian Wang*, and Tianhao Wu* 2023 PDF