@misc{indiciae229c36a68750,
  title = {Abstractions and sensor design in partial-information, reactive controller synthesis},
  author = {Jie Fu and Rayna Dimitrova and Ufuk Topcu},
  year = {2014},
  url = {https://arxiv.org/abs/1405.1630},
  note = {Source identifier: 1405.1630}
}