@inproceedings{meyer2017acc,
  title={Compositional abstraction refinement for control synthesis under lasso-shaped specifications},
  author={Meyer, Pierre-Jean and Dimarogonas, Dimos V.},
  booktitle={Proceedings of the American Control Conference},
  pages={523--528},
  year={2017},
}