5 citations · 7 across the 6 of their papers we have counts for
4 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…
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…