Han Su

Orcid: 0000-0003-4260-8340

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, Beijing, China


According to our database1, Han Su authored at least 6 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Runtime Enforcement of CPS against Signal Temporal Logic.
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.
Res. Dir. Cyber Phys. Syst., 2024

Switching Controller Synthesis for Hybrid Systems Against STL Formulas.
Proceedings of the Formal Methods - 26th International Symposium, 2024

2023
Lower Bounds for Possibly Divergent Probabilistic Programs.
Proc. ACM Program. Lang., April, 2023

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

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.
CoRR, 2023


  Loading...