@misc{indiciae8a2a14fb4fe0,
  title = {Synthesizing least-limiting guidelines for safety of semi-autonomous systems},
  author = {Jana Tumova and Dimos V. Dimarogonas},
  year = {2016},
  url = {https://arxiv.org/abs/1510.06496},
  note = {Source identifier: 1510.06496}
}