@inproceedings{DMC05GNC,
        author = "Gilles Dowek and C{\'{e}}sar Mu{\~{n}}oz and V{\'{\i}}ctor Carre{\~{n}}o",
        title = "Provably Safe Coordinated Strategy for Distributed Conflict Resolution",
        booktitle = "Proceedings of the AIAA Guidance Navigation, and Control Conference and Exhibit 2005, AIAA-2005-6047",
        address = "San Francisco, California",
        year = "2005"
}