publications

2026

1. arXiv

   Scenario MPC with STL Specifications and Pareto-Based Feasibility Repair

   Tianhao Wu and Yiwei Lyu

   arXiv preprint arXiv:2609.23263, 2026

   Bib PDF Website

   @article{wu2026scenario,
     title = {Scenario MPC with STL Specifications and Pareto-Based Feasibility Repair},
     author = {Wu, Tianhao and Lyu, Yiwei},
     journal = {arXiv preprint arXiv:2609.23263},
     year = {2026},
   }

2. QUEST+FORMATS 26

   An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators

   Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan, Tianhao Wu, Lars Lindemann, and Jyotirmoy V Deshmukh

   In International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2026

   Bib PDF

   @inproceedings{paul2026algebraic,
     title = {An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators},
     author = {Paul, Sheryl and Kudalkar, Vidisha and Balakrishnan, Anand and Wu, Tianhao and Lindemann, Lars and Deshmukh, Jyotirmoy V},
     booktitle = {International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems},
     pages = {226--245},
     year = {2026},
     organization = {Springer},
   }

3. arXiv

   Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement

   Tianhao Wu and Yiwei Lyu

   arXiv preprint arXiv:2603.06947, 2026

   Bib PDF

   @article{wu2026feasibility,
     title = {Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement},
     author = {Wu, Tianhao and Lyu, Yiwei},
     journal = {arXiv preprint arXiv:2603.06947},
     year = {2026},
   }

2023

1. arXiv

   Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions

   Qian Wang and Tianhao Wu

   arXiv preprint arXiv:2312.17583, 2023

   Bib PDF

   @article{wang2023enhancing,
     title = {Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions},
     author = {Wang, Qian and Wu, Tianhao},
     journal = {arXiv preprint arXiv:2312.17583},
     year = {2023},
   }