@inproceedings{rousse2017ifac,
  title={Using progress sets on non-deterministic transition systems for multiple UAV motion planning},
  author={Rousse, Paul and Meyer, Pierre-Jean and Dimarogonas, Dimos V.},
  booktitle={Proceedings of the $20^{th}$ IFAC World Congress},
  pages={16547--16552},
  year={2017},
}