activity
20242026
most citedVeriPlan: Integrating Formal Verification and LLMs into End-User Planning

17 citations · 51 across the 10 of their papers we have counts for

collaborators

11 papers

cs.RO2026

SHRIMP: Iterative Refinement of Robot Task Plans

Mya Schroder, Yuna Hwang, Callie Y. Kim +5

As collaborative robots have entered domains such as manufacturing, agriculture, and healthcare, programming or adapting robot behavior typically requires robotic expertise that mo…

cs.AI2026

U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning

Christine P Lee, Xinyu Jessica Wang, Aws Albarghouthi +2

LLMs are increasingly used for end-user task planning, yet their black-box nature limits users' ability to ensure reliability and control. While recent systems incorporate verifica…

cs.RO2026

RoboCritics: Enabling Reliable End-to-End LLM Robot Programming through Expert-Informed Critics

Callie Y. Kim, Nathan Thomas White, Evan He +2

End-user robot programming grants users the flexibility to re-task robots in situ, yet it remains challenging for novices due to the need for specialized robotics knowledge. Large…

cs.HC2025★ 17 cited

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…

cs.RO2024★ 1 cited

Understanding Generative AI in Robot Logic Parametrization

Yuna Hwang, Arissa J. Sato, Pragathi Praveena +2

Leveraging generative AI (for example, Large Language Models) for language understanding within robotics opens up possibilities for LLM-driven robot end-user development (EUD). Des…

cs.RO2024★ 6 cited

Understanding On-the-Fly End-User Robot Programming

Laura Stegner, Yuna Hwang, David Porfirio +1

Novel end-user programming (EUP) tools enable on-the-fly (i.e., spontaneous, easy, and rapid) creation of interactions with robotic systems. These tools are expected to empower use…

cs.HC2024★ 10 cited

"This really lets us see the entire world:" Designing a conversational telepresence robot for homebound older adults

Yaxin Hu, Laura Stegner, Yasmine Kotturi +6

In this paper, we explore the design and use of conversational telepresence robots to help homebound older adults interact with the external world. An initial needfinding study (N=…

cs.RO2024★ 2 cited

End-User Development for Human-Robot Interaction

Laura Stegner, David Porfirio, Laura M. Hiatt +3

End-user development (EUD) represents a key step towards making robotics accessible for experts and nonexperts alike. Within academia, researchers investigate novel ways that EUD t…

cs.RO2024★ 1 cited

Factors that Affect Personalization of Robots for Older Adults

Laura Stegner, Emmanuel Senft, Bilge Mutlu

We introduce a taxonomy of important factors to consider when designing interactions with an assistive robot in a senior living facility. These factors are derived from our reflect…

cs.RO2024★ 7 cited

A System for Human-Robot Teaming through End-User Programming and Shared Autonomy

Michael Hagenow, Emmanuel Senft, Robert Radwin +3

Many industrial tasks-such as sanding, installing fasteners, and wire harnessing-are difficult to automate due to task complexity and variability. We instead investigate deploying…

cs.RO2024★ 7 cited

Making Informed Decisions: Supporting Cobot Integration Considering Business and Worker Preferences

Dakota Sullivan, Nathan Thomas White, Andrew Schoen +1

Robots are ubiquitous in small-to-large-scale manufacturers. While collaborative robots (cobots) have significant potential in these settings due to their flexibility and ease of u…