~/talk

Authr: A Task Authoring Environment for Human-Robot Teams

Talkat UIST 2020 · 2020-10-20..10-23· [robotics, developer-experience]
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Authr is a ROS-based authoring and simulation tool with a web front end that encodes tasks as simplified HTA trees of therbligs (six physical therbligs) plus high-level parameters Agents, Things, and Destinations, verifies plans with Z3, and executes robot motion via MoveIT. It runs an optimization that automatically allocates agents to minimize time and effort with adjustable weights. Two user studies with engineering students show automated allocation produces more streamlined workflows and fewer allocation errors versus manual assignment, where users invent inconsistent heuristics and generate suboptimal plans. Authoring, verification, and simulation are integrated and functional.

AI-written summary · about

  1. 0:00Introduction
  2. 0:18Background
  3. 3:10Parameters
  4. 7:57Evaluation
  5. 11:35Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.