@misc{indiciae9fd267ef3e3f,
  title = {Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations},
  author = {Giordano Pola and Paulo Tabuada},
  year = {2007},
  url = {https://arxiv.org/abs/0707.4205},
  note = {Source identifier: 0707.4205}
}