Grace Gao

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. Improving GNSS Positioning using Neural Network-based Corrections
   2021/10/18 by Ashwin Vivek Kanhere, Shubh Gupta, Kanhere, Ashwin V. +5 · 3 citations
   Engineering · #FOS: Computer and information sciences #GNSS positioning and interference #Indoor and Outdoor Localization Technologies #Inertial Sensor and Navigation #Robotics (cs.RO)
3. 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)
4. Neural Elevation Models for Terrain Mapping and Path Planning
   2024/05/24 by Adam Dai, Shubh Gupta, Dai, Adam +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
5. Set-Valued Shadow Matching Using Zonotopes for 3-D Map-Aided GNSS Localization
   2022/09/28 by Sriramya Bhamidipati, Shreyas Kousik, Bhamidipati, Sriramya +3 · 1 citation
   Computer Science · Engineering · #Automated Road and Building Extraction #FOS: Computer and information sciences #Indoor and Outdoor Localization Technologies #Robotics (cs.RO) #Target Tracking and Data Fusion in Sensor Networks
6. A Survey of Machine Learning Techniques for Improving Global Navigation Satellite Systems
   2024/03/29 by Adyasha Mohanty, Mohanty, Adyasha, Grace Gao +1 · 1 citation
   Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #GNSS positioning and interference #Machine Learning (cs.LG) #Robotics (cs.RO) #Signal Processing (eess.SP) #electronic engineering #information engineering
7. Exploring gendered space in Frances Ha : a cinematic analysis of feminist urbanism in New York City
   2026/07/23 by Kexin Huang, Jiayi Jin, Zhuozhang Li +1