@misc{indiciae7701ed72bbd0,
  title = {Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions},
  author = {Rachel Schlossman and Minkyu Kim and Ufuk Topcu and Luis Sentis},
  year = {2019},
  url = {https://arxiv.org/abs/1903.01350},
  note = {Source identifier: 1903.01350}
}