@inproceedings{meyer2017ifac,
  title={Abstraction refinement and plan revision for control synthesis under high level specifications},
  author={Meyer, Pierre-Jean and Dimarogonas, Dimos V.},
  booktitle={Proceedings of the $20^{th}$ IFAC World Congress},
  pages={9664--9669},
  year={2017},
}