5 citations · 9 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021★ 2 cited
Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
Shreyas Kousik, Adam Dai, Grace Gao
Ellipsoids are a common representation for reachability analysis, because they can be transformed efficiently under affine maps, and allow conservative approximation of Minkowski s…
cs.LG2021★ 5 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…