meiyi ma - formal logic enhanced deep learning for cyber physical systems
Published 3 years ago • 252 plays • Length 4:00Download video MP4
Download video MP3
Similar videos
-
57:28
1w-minds: yi ma, april 1, 2021, deep networks from first principles
-
1:12:32
data science for robotics in the era of multimodal models -ms in applied data science seminar series
-
1:49:12
ctrl: closed loop data transcription via rate reduction - professor yi ma
-
53:31
logical analysis of hybrid systems
-
1:25:55
14: hybrid systems & games - logical foundations of cyber-physical systems
-
2:53
exploiting the full compute continuum for smarter cities - class and elastic
-
30:13
the price of uncertainty: safety conditions for multiagent systems - avrim blum
-
47:46
why ml-based perception can't be trusted
-
39:32
analysis-ready models of complex domains
-
47:18
dimacs 2019: ishai, compressing vector ole: secure computation with silent preprocessing, dimacs
-
1:25:51
how to develop robust, intelligent, and easy to use hmi applications
-
1:09:53
autonomy talks - fei miao: learning & control for safety, efficiency & security of cpss
-
1:33:57
tameness beyond o-minimality lecture #6
-
30:11
cybermaturity modeling in the defense industrial base sector (the cyber underground)
-
1:06:06
machine learning
-
1:02:08
evaluating trustworthiness of ai systems
-
18:03
risk-based oversight in a learning health care system - menikoff
-
9:45
ece4305 lecture 20