1 citations · 3 across the 7 of their papers we have counts for
Showing cs.ROShow all
3 papers · 1 filter
cs.RO2026
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…
cs.RO2024★ 1 cited
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…
cs.RO2024
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…