Differentially Private Algorithms for Statistical Verification of Cyber-Physical Syst... | RTCL.TV
Channel: STEM RTCL TV
Date: 03/10/2023

### Keywords ###
#Cyberphysicalsystems #formalverification #privacy #statisticalmodelchecking #stochasticsystems #RTCLTV #shorts

### Article Attribution ###
Title: Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Authors: Yu Wang, Hussein Sibai, Mark Yen, Sayan Mitra ,and Geir E. Dullerud
Publisher: IEEE
DOI: 10.1109/OJCSYS.2022.3207108
DOAJ URL: https://doaj.org/article/3bfd36804c974981a5271f899b028787
Source URL: https://ieeexplore.ieee.org/document/9893303/



### Image Attribution ###
We used stable diffusion to programmatically generate the background images. 
Viewer discretion is advised.

### Channels ###
YouTube Channel: https://www.youtube.com/@stemrtcltv
Odysee Channel: https://odysee.com/@stem_rtcl_tv

### Video Timestamps ###
0:00:00 - Summary 
0:00:50 - Title 
0:00:56 - End