@misc{indiciaeb685fa26e937,
  title = {Symbolic construction of GR(1) contracts for synchronous systems with full information},
  author = {Ioannis Filippidis and Richard M. Murray},
  year = {2015},
  url = {https://arxiv.org/abs/1508.02705},
  note = {Source identifier: 1508.02705}
}