45 citations · 205 across the 65 of their papers we have counts for
Showing 2019 · cs.ROShow all
3 papers · 2 filters
cs.RO2019
Formal Connections between Template and Anchor Models via Approximate Simulation
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing +1
Reduced-order template models like the Linear Inverted Pendulum (LIP) and Spring-Loaded Inverted Pendulum (SLIP) are widely used tools for controlling high-dimensional humanoid rob…
cs.RO2019★ 3 cited
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis
Vince Kurtz, Hai Lin
In recent years, Signal Temporal Logic (STL) has gained traction as a practical and expressive means of encoding control objectives for robotic and cyber-physical systems. The stat…
cs.RO2019
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration
Wei Zheng, Hai Lin
Human-robot collaboration (HRC) has emerged as a hot research area at the intersection of control, robotics, and psychology in recent years. It is of critical importance to obtain…