Publications
You can also check my Google Scholar
2025
- CDC
Trajectory Optimization of Stochastic Systems under Chance Constraints via Set ErosionIn CDC, 2025 - L-CSS
Verification of Stochastic Systems Under Signal Temporal Logic SpecificationsIEEE Control Systems Letters, 2025