Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems

Keyphrases

• Verification of Cyber-physical Systems 100%
• Differential Privacy 100%
• Differentially Private 100%
• Statistical Validation 100%
• Statistical Model Checking 66%
• Sequential Algorithm 50%
• Exponential Mechanism 50%
• Checking Algorithm 33%
• Medical Devices 16%
• Sampling numbers 16%
• Identically Distributed 16%
• Sensitivity Analysis 16%
• Automobile 16%
• Statistical Guarantees 16%
• Intruder 16%
• Cyber-physical Systems 16%
• Privacy Concerns 16%
• Termination Time 16%

Computer Science

• Cyber Physical Systems 100%
• Differential Privacy 100%
• Statistical Model 66%
• Sequential Algorithm 50%
• Case Study 16%
• Privacy Concern 16%
• Level Application 16%
• Sufficient Number 16%