7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.LG2021★ 7 cited
Local Repair of Neural Networks Using Optimization
Keyvan Majd, Siyu Zhou, Heni Ben Amor +2
In this paper, we propose a framework to repair a pre-trained feed-forward neural network (NN) to satisfy a set of properties. We formulate the properties as a set of predicates th…
cs.RO2021
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi +3
Sampling-based methods such as Rapidly-exploring Random Trees (RRTs) have been widely used for generating motion paths for autonomous mobile systems. In this work, we extend time-b…