Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2022
Source ID
10.1109/ojcsys.2022.3207108

Entities

People

  • Geir E. Dullerud
  • Hussein Sibai
  • Mark Yen
  • Sayan Mitra
  • Yu Wang

Organizations

  • United States Department of Defense
  • University of Florida
  • University of Illinois Urbana–Champaign

Tags

Technology Areas

  • Cyber