Month: February 2019

Paper Submission: Robots Helping Humans to Coordinate Workload Backlog

This work explores the use of formal methods to construct human-aware robot controllers to support the productivity requirements of humans. We tackle these types of scenarios via human workload-informed models and reactive synthesis. This strategy allows us to synthesize controllers

Paper Submission: Versatile Door Operation for Autonomous Door Operation

Here, we advance on real-time grasping pose estimation of single or multiple handles from RGB-D images, providing a speed up for assistive human-centered behaviors. We propose a versatile Bayesian framework that endows robots with the ability to infer various door