160 citations · 403 across the 56 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.RO2020
DeepReach: A Deep Learning Approach to High-Dimensional Reachability
Somil Bansal, Claire Tomlin
Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for guaranteeing performance and safety properties of dynamical control systems. Its advantage…
cs.RO2020
Visual Navigation Among Humans with Optimal Control as a Supervisor
Varun Tolani, Somil Bansal, Aleksandra Faust +1
Real world visual navigation requires robots to operate in unfamiliar, human-occupied dynamic environments. Navigation around humans is especially difficult because it requires ant…