Somil Bansal
8 papers · 2019–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π Conference Polyglot (4)
π
Academic Marathon
(6)
π
Cross-Pollinator
(12)
π
Keyword Champion
(4)
π
Trend Setter
π
Conference Pioneer
Conferences
L4DC (4)
RSS (2)
CORL (1)
ICML (1)
Top co-authors
Keywords
reachability analysis
(4)
optimal control
(3)
trajectory planning
(2)
visual navigation
(2)
robot navigation
(2)
formal verification
(1)
convolutional neural network
(1)
hybrid system
(1)
safety verification
(1)
hamilton-jacobi reachability
(1)
model-based control
(1)
safety guarantee
(1)
scenario optimization
(1)
obstacle avoidance
(1)
hamilton-jacobi equation
(1)
waypoint prediction
(1)
learning-based perception
(1)
waypoint generation
(1)
neural network
(1)
robotics safety
(1)
Papers
A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
ICML 2025
Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
L4DC 2025
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
RSS 2025
Parameterized fast and safe tracking (FaSTrack) using DeepReach
L4DC 2024
Verification of neural reachable tubes via scenario optimization and conformal prediction
L4DC 2024
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
RSS 2024
Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability
L4DC 2020
Combining Optimal Control and Learning for Visual Navigation in Novel Environments
CORL 2019