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
Showing 2024Show all

7 papers · 1 filter

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…