2 papers
cs.DC2026
A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
Ziwei Zhou, Si Liu, Zhou Zhou +2
Today's distributed systems operate in complex environments that inevitably involve faults and even adversarial behaviors. Predicting their performance under such environments dire…
cs.LG2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
Dapeng Zhi, Peixin Wang, Si Liu +2
The rapid advance of deep reinforcement learning techniques enables the oversight of safety-critical systems through the utilization of Deep Neural Networks (DNNs). This underscore…