@misc{indiciae7d22c274c22e,
  title = {Exploiting symmetry for discrete-time reachability computations},
  author = {John Maidens and Murat Arcak},
  year = {2018},
  url = {https://arxiv.org/abs/1801.00516},
  note = {Source identifier: 1801.00516}
}