publications

2026

1. FORMATS

   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

   arXiv preprint arXiv:2606.28429, 2026

   Bib PDF

   @article{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},
     journal = {arXiv preprint arXiv:2606.28429},
     year = {2026},
   }

2. 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},
   }