@misc{indiciae277c63ba5e0f,
  title = {Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications},
  author = {Clemens Wiltsche},
  year = {2013},
  url = {https://arxiv.org/abs/1304.6898},
  note = {Source identifier: 1304.6898}
}