Adam Dai

1. Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
   2021/08/03 by Shreyas Kousik, Adam Dai, Kousik, Shreyas +3 · 3 citations
   Computer Science · #Formal Methods in Verification #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques
2. Constrained Feedforward Neural Network Training via Reachability Analysis
   2021/07/16 by Long Kiu Chung, Adam Dai, Chung, Long Kiu +7 · 1 citation
   Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robot Manipulation and Learning #Robotics (cs.RO)
3. Neural Elevation Models for Terrain Mapping and Path Planning
   2024/05/24 by Adam Dai, Dai, Adam, Shubh Gupta +3 · 2 citations
   Computer Science · Engineering · Environmental Science · #FOS: Computer and information sciences #Image Processing and 3D Reconstruction #Landslides and related hazards #Robotics (cs.RO) #Robotics and Sensor-Based Localization