@misc{indiciae050ce82a6c79,
  title = {Integrated symbolic control design for nonlinear systems with infinite states specifications},
  author = {Giordano Pola and Alessandro Borri and Maria D. Di Benedetto},
  year = {2010},
  url = {https://arxiv.org/abs/1006.2853},
  note = {Source identifier: 1006.2853}
}