20 citations · 55 across the 15 of their papers we have counts for
4 papers · 1 filter
Applying Ground Robot Fleets in Urban Search: Understanding Professionals' Operational Challenges and Design Opportunities
Puqi Zhou, Charles R. Twardy, Cynthia Lum +6
Urban searches demand rapid, defensible decisions and sustained physical effort under high cognitive and situational load. Incident commanders must plan, coordinate, and document t…
Uncertainty Expression for Human-Robot Task Communication
David Porfirio, Mark Roberts, Laura M. Hiatt
An underlying assumption of many existing approaches to human-robot task communication is that the robot possesses a sufficient amount of environmental domain knowledge, including…
VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
Christine Lee, David Porfirio, Xinyu Jessica Wang +2
Automated planning is traditionally the domain of experts, utilized in fields like manufacturing and healthcare with the aid of expert planning tools. Recent advancements in LLMs h…
Crowdsourcing Task Traces for Service Robotics
David Porfirio, Allison Sauppé, Maya Cakmak +2
Demonstration is an effective end-user development paradigm for teaching robots how to perform new tasks. In this paper, we posit that demonstration is useful not only as a teachin…