Zhongzhu Shao
According to our database1,
Zhongzhu Shao
authored at least 2 papers
in 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.
Proceedings of the American Control Conference, 2022