Siang Zhao

According to our database, Siang Zhao authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Symbolic Verification of Fuzzy Logic Models.

Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023