Authoring and Verifying Human-Robot Interactions.

David Porfirio, Allison Saupp, Aws Albarghouthi, Bilge Mutlu

Browse the full UIST paper archive.