activity
20182022
most citedConstrained Feedforward Neural Network Training via Reachability Analysis

5 citations · 15 across the 11 of their papers we have counts for

collaborators

14 papers

cs.LG2022

A Deep Reinforcement Learning Approach to Rare Event Estimation

Anthony Corso, Kyu-Young Kim, Shubh Gupta +2

An important step in the design of autonomous systems is to evaluate the probability that a failure will occur. In safety-critical domains, the failure probability is extremely sma…

cs.RO20222 cited

PlaneSLAM: Plane-based LiDAR SLAM for Motion Planning in Structured 3D Environments

Adam Dai, Greg Lund, Grace Gao

LiDAR sensors are a powerful tool for robot simultaneous localization and mapping (SLAM) in unknown environments, but the raw point clouds they produce are dense, computationally e…

cs.RO20221 cited

Set-Valued Shadow Matching Using Zonotopes for 3-D Map-Aided GNSS Localization

Sriramya Bhamidipati, Shreyas Kousik, Grace Gao

Unlike many urban localization methods that return point-valued estimates, a set-valued representation enables robustness by ensuring that a continuum of possible positions obeys s…

cs.AI2022

Mosaic Zonotope Shadow Matching for Risk-Aware Autonomous Localization in Harsh Urban Environments

Daniel Neamati, Sriramya Bhamidipati, Grace Gao

Risk-aware urban localization with the Global Navigation Satellite System (GNSS) remains an unsolved problem with frequent misdetection of the user's street or side of the street.…

cs.RO20221 cited

A Case Study Analysis for Designing a Lunar Navigation Satellite System with Time-Transfer from Earth-GPS

Sriramya Bhamidipati, Tara Mina, Grace Gao

Recently, there has been a growing interest in the use of a SmallSat platform for the future Lunar Navigation Satellite System (LNSS) to allow for cost-effectiveness and rapid depl…

cs.LG20215 cited

Constrained Feedforward Neural Network Training via Reachability Analysis

Long Kiu Chung, Adam Dai, Derek Knowles +2

Neural networks have recently become popular for a wide variety of uses, but have seen limited application in safety-critical domains such as robotics near and around humans. This…