6 citations · 15 across the 7 of their papers we have counts for
7 papers
Distributionally Robust Statistical Verification with Imprecise Neural Networks
Souradeep Dutta, Michele Caprio, Vivian Lin +5
A particularly challenging problem in AI safety is providing guarantees on the behavior of high-dimensional autonomous systems. Verification approaches centered around reachability…
DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models
Vivian Lin, Kuk Jin Jang, Souradeep Dutta +3
Deep neural networks have repeatedly been shown to be non-robust to the uncertainties of the real world, even to naturally occurring ones. A vast majority of current approaches hav…
Credal Bayesian Deep Learning
Michele Caprio, Souradeep Dutta, Kuk Jin Jang +4
Uncertainty quantification and robustness to distribution shifts are important goals in machine learning and artificial intelligence. Although Bayesian Neural Networks (BNNs) allow…
Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation
Jiyue He, Kuk Jin Jang, Katie Walsh +3
Left atrial voltage maps are routinely acquired during electroanatomic mapping in patients undergoing catheter ablation for atrial fibrillation. For patients, who have prior cathet…
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz +3
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e.g. moving humans and goods within the city), is…
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alëna Rodionova, Yash Vardhan Pant, Kuk Jang +2
With increasing urban population, there is global interest in Urban Air Mobility (UAM), where hundreds of autonomous Unmanned Aircraft Systems (UAS) execute missions in the airspac…
Model Checking Implantable Cardioverter Defibrillators
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang +1
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It usually ends in death within seconds. The most c…