6 papers
Learning Probabilistic Responsibility Allocations for Multi-Agent Interactions
Isaac Remy, Caleb Chang, Karen Leung
Human behavior in interactive settings is shaped not only by individual objectives but also by shared constraints with others, such as safety. Understanding how people allocate res…
Safe Probabilistic Planning for Human-Robot Interaction using Conformal Risk Control
Jake Gonzales, Kazuki Mizuta, Karen Leung +1
In this paper, we present a novel probabilistic safe control framework for human-robot interaction that combines control barrier functions (CBFs) with conformal risk control to pro…
Unified Generation-Refinement Planning: Bridging Guided Flow Matching and Sampling-Based MPC for Social Navigation
Kazuki Mizuta, Karen Leung
Robust robot planning in dynamic, human-centric environments remains challenging due to multimodal uncertainty, the need for real-time adaptation, and safety requirements. Optimiza…
Pretrained Embeddings as a Behavior Specification Mechanism
Parv Kapoor, Abigail Hammer, Ashish Kapoor +2
We propose an approach to formally specifying the behavioral properties of systems that rely on a perception model for interactions with the physical world. The key idea is to intr…
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
Parv Kapoor, Kazuki Mizuta, Eunsuk Kang +1
Signal Temporal Logic (STL) offers a concise yet expressive framework for specifying and reasoning about spatio-temporal behaviors of robotic systems. Attractively, STL admits the…
Learning responsibility allocations for multi-agent interactions: A differentiable optimization approach with control barrier functions
Isaac Remy, David Fridovich-Keil, Karen Leung
From autonomous driving to package delivery, ensuring safe yet efficient multi-agent interaction is challenging as the interaction dynamics are influenced by hard-to-model factors…