research
∙
03/09/2023
SOCIALGYM 2.0: Simulator for Multi-Agent Social Robot Navigation in Shared Human Spaces
We present SocialGym 2, a multi-agent navigation simulator for social ro...
share
research
∙
03/02/2023
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations
Learning from demonstration (LfD) is a widely researched paradigm for te...
research
∙
03/02/2022
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations
Accurate kinodynamic models play a crucial role in many robotics applica...
research
∙
09/22/2021
SOCIALGYM: A Framework for Benchmarking Social Robot Navigation
Robots moving safely and in a socially compliant manner in dynamic human...
research
∙
03/08/2021
Iterative Program Synthesis for Adaptable Social Navigation
Robot social navigation is influenced by human preferences and environme...
research
∙
08/10/2020
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis
Action selection policies (ASPs), used to compose low-level robot skills...
research
∙
01/09/2020
SMT-based Robot Transition Repair
State machines are a common model for robot behaviors. Transition functi...
research
∙
02/05/2018