@inproceedings{NilSheOKa18,
  author = {Alexandra Q. Nilles and Dylan A. Shell and Jason M. O'Kane},
  booktitle = {Workshop on Autonomous Robot Design \emph{at} IEEE
               International Conference on Robotics and
               Automation},
  title = {Robot design: Formalisms, representations, and the role of
           the designer},
  year = {2018}
}