Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network

Documenti analoghi

• Towards Verified and Targeted Explanations through Formal Methods
  di: Wang, Hanchen David, et al.
  Pubblicazione: (2026)
• PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
  di: Hashemi, Navid, et al.
  Pubblicazione: (2025)
• Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
  di: Hashemi, Navid, et al.
  Pubblicazione: (2024)
• Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
  di: Robinette, Preston K., et al.
  Pubblicazione: (2024)
• Formal Logic Enabled Personalized Federated Learning Through Property Inference
  di: An, Ziyan, et al.
  Pubblicazione: (2024)