@misc{indiciae2960357b525a,
  title = {Formalizing and Guaranteeing* Human-Robot Interaction},
  author = {Hadas Kress-Gazit and Kerstin Eder and Guy Hoffman and Henny Admoni and Brenna Argall and Ruediger Ehlers and Christoffer Heckman and Nils Jansen and Ross Knepper and Jan Křetínský and Shelly Levy-Tzedek and Jamy Li and Todd Murphey and Laurel Riek and Dorsa Sadigh},
  year = {2020},
  doi = {10.1145/3433637},
  url = {https://arxiv.org/abs/2006.16732},
  note = {Source identifier: 2006.16732}
}