David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu. Authoring and Verifying Human-Robot Interactions. In Patrick Baudisch, Albrecht Schmidt 0001, Andy Wilson, editors, The 31st Annual ACM Symposium on User Interface Software and Technology, UIST 2018, Berlin, Germany, October 14-17, 2018. pages 75-86, ACM, 2018. [doi]
Abstract is missing.