← Search

William Sharpless

3 accepted papers

2026

Bellman Value Decomposition for Task Logic in Safe Optimal Control

RSS 2026poster

Real-world tasks involve nuanced combinations of goal and safety specifications, which often directly compete. In high dimensions, the challenge is exacerbated: formal automata become cumbersome, and the combination of sparse rewards tends to require laborious tuning. In this work, we consider the s…

Cited by 0SourceScholar
2026

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations

ICLR 2026poster

Hard constraints in reinforcement learning (RL) often degrade policy performance. Lagrangian methods offer a way to blend objectives with constraints, but require intricate reward engineering and parameter tuning. In this work, we extend recent advances that connect Hamilton-Jacobi (HJ) equations wi…

Cited by 0SourceScholar
2026

MADR: MPC-Guided Adversarial Deepreach

ICRA 2026poster

Hamilton-Jacobi Reachability offers a framework for generating safe value functions and policies in the face of adversarial disturbance, but is limited by the curse of dimensionality. Physics-informed deep learning is able to overcome this infeasibility, but itself suffers from slow and inaccurate c…