Somil Bansal
9 papers · 2019–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (18) π Conference Polyglot Β· Bronze
π
Keyword Champion
(2)
π
Conference Pioneer
π
Renaissance Researcher
(6)
Top co-authors
Research topics
Artificial Intelligence
(7)
Core AI
(7)
Machine Learning
(4)
Optimization & Theory
(4)
Reinforcement Learning
(3)
Robotics
(3)
Deep Learning
(2)
Applications
(2)
Capabilities
(2)
Systems
(2)
Computer Vision
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Architectures
(1)
Domain-Specific
(1)
Keywords
reachability analysis
(4)
optimal control
(3)
hamilton-jacobi reachability
(2)
visual navigation
(2)
trajectory planning
(2)
robot navigation
(2)
conformal prediction
(2)
model predictive control
(1)
high-dimensional control
(1)
deep learning
(1)
state estimation
(1)
convolutional neural network
(1)
partial differential equation
(1)
autonomous agent
(1)
value function
(1)
model-based control
(1)
safety verification
(1)
hybrid system
(1)
formal verification
(1)
uncertainty quantification
(1)
Papers
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
L4DC 2026
A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
ICML 2025
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
RSS 2025
Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
L4DC 2025
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
RSS 2024
Parameterized fast and safe tracking (FaSTrack) using DeepReach
L4DC 2024
Verification of neural reachable tubes via scenario optimization and conformal prediction
L4DC 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