103 citations · 110 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
Joint Communication and Motion Planning for Cobots
Mehdi Dadvar, Keyvan Majd, Elena Oikonomou +2
The increasing deployment of robots in co-working scenarios with humans has revealed complex safety and efficiency challenges in the computation robot behavior. Movement among huma…
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…