Authoring and Verifying Human-Robot Interactions
The 31st Annual ACM Symposium on User Interface Software and Technology - UIST ’18
Bilge Mutlu
Aws Albarghouthi
David Porfirio