Shaojun Deng

According to our database, Shaojun Deng authored at least 2 papers in 2024.

Collaborative distances:

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

2024

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu

CoRR, 2024

Runtime Verification of Neural-Symbolic Systems.

Shaojun Deng, Wanwei Liu, Miaomiao Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024