@misc{indiciae98176321cc9e,
  title = {Robotics and Integrated Formal Methods: Necessity meets Opportunity},
  author = {Marie Farrell and Matt Luckcuck and Michael Fisher},
  year = {2018},
  doi = {10.1007/978-3-319-98938-9\_10},
  url = {https://arxiv.org/abs/1805.11996},
  note = {Source identifier: 1805.11996}
}