20 citations · 29 across the 12 of their papers we have counts for
6 papers · 1 filter
Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification
Haofei Hou, Fanxu Meng, Shunyi Zhao +4
Many robotic tasks are temporally extended and demand precise specifications of subgoals, constraints, and their temporal ordering. Yet human operators typically communicate such t…
Improving Human Diving Endurance with a Field-Deployable Exoskeleton
Zhihao Zhou, Zhenmeng Ju, Rui Yang +7
Human endurance in underwater locomotion is fundamentally restricted by high energetic demands to overcome drag while managing a finite supply of self-contained breathing gas. Here…
Expert-level protocol translation for self-driving labs
Yu-Zhe Shi, Fanxu Meng, Haofei Hou +4
Recent development in Artificial Intelligence (AI) models has propelled their application in scientific discovery, but the validation and exploration of these discoveries require s…
Abstract Hardware Grounding towards the Automated Design of Automation Systems
Yu-Zhe Shi, Qiao Xu, Fanxu Meng +2
Crafting automation systems tailored for specific domains requires aligning the space of human experts' semantics with the space of robot executable actions, and scheduling the req…
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints
Yu-Zhe Shi, Haofei Hou, Zhangqian Bi +4
Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of constraints. Unfortunately, Domain-spe…
Tac-Man: Tactile-Informed Prior-Free Manipulation of Articulated Objects
Zihang Zhao, Yuyang Li, Wanlin Li +4
Integrating robots into human-centric environments such as homes, necessitates advanced manipulation skills as robotic devices will need to engage with articulated objects like doo…