David Porfirio

schoolU.S. Naval Research Laboratorybar_chart#3577 Global Rank

Total Papers

HCI Rank

#3577

Research Areas

Years Active

Recent Publications

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

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 have made planning more accessible to everyday users due to their potential to assist users with complex planning tasks. However, LLMs face…

DIS '243rd AuthorHuman-Robot Collaboration (HRC) +1

Understanding On-the-Fly End-User Robot Programming

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 users in determining system behavior, although very little is understood about how end users perceive, experience, and use these systems. In t…

HRI '241st AuthorHuman-Robot Collaboration (HRC) +1

Goal-Oriented End-User Development of Robots

End-user development (EUD) tools must balance a user's desired level of control over a robot's task with the robot's ability to plan and act autonomously. Many existing task-oriented EUD tools enforce a specific level of control, e.g., by requiring that users hand-craft detailed sequences of actions. There is a lack o…

HRI '231st AuthorSocial Robot Interaction +1

Sketching Robot Programs On the Fly

Service robots for personal use in the home and the workplace require end-user development solutions for swiftly scripting robot tasks as the need arises. Many existing solutions preserve ease, efficiency, and convenience through simple programming interfaces or by restricting task complexity. Others facilitate meticu…

Quick Actions

Share this page

ios_share

X in mail

https://hci.top/en/authors/14551?source=all