Han Su

According to our database, Han Su authored at least 8 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version).

Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

CoRR, March, 2026

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP.

Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Runtime Enforcement of CPS against Signal Temporal Logic.

Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Reset controller synthesis: a correct-by-construction way to the design of CPS.

Naijun Zhan, Han Su, Mengfei Yang, Bin Gu

Res. Dir. Cyber Phys. Syst., 2024

Switching Controller Synthesis for Hybrid Systems Against STL Formulas.

Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Lower Bounds for Possibly Divergent Probabilistic Programs.

Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

Proc. ACM Program. Lang., April, 2023

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.

Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan

CoRR, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan

CoRR, 2023