| May 04, 2026 | I am excited to announce that my paper titled “Strongly Polynomial Time Complexity of Policy Iteration for Robust MDPs” has been accepted at COLT’26. |
| Apr 29, 2026 | I am excited to announce that my paper titled “Automated Approach for Solving Infinite-state Polynomial Reachability Games” has been accepted at IJCAI’26. |
| Nov 08, 2025 | I am excited to announce that my paper titled “Qualitative Analysis of ω-Regular Objectives on Robust MDPs” has been accepted at AAAI’26. |
| Oct 30, 2025 | I am honored to share that my paper, “PolyQEnt: A Polynomial Quantified Entailment Solver”, has received the Distinguished Tool Paper Award at ATVA’25. |
| Jul 04, 2025 | I am excited to announce that my paper titled “PolyQEnt: A Polynomial Quantified Entailment Solver” has been accepted at ATVA’25. |
| Dec 10, 2024 | I am excited to announce that my paper titled “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization” has been accepted at AAAI’25. |
| Sep 12, 2024 | I am honored to share that my paper, “Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs”, has received the Distinguished Paper Award at FM’24. |
| Jun 11, 2024 | I am excited to announce that my paper titled “Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs” has been accepted at FM’24. |
| Apr 22, 2024 | I am excited to announce that my paper titled “Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains” has been accepted at PODC’24. |
| Apr 22, 2024 | I am excited to announce that my paper titled “Game Dynamics and Equilibrium Computation in the Population Protocol Model” has been accepted at PODC’24. |
| Apr 16, 2024 | I am excited to announce that my paper titled “Solving Long-run Average Reward Robust MDPs via Stochastic Games” has been accepted at IJCAI’24. |