@inproceedings{NM15Infotech,
        author = "Anthony Narkawicz and C{\'{e}}sar Mu{\~{n}}oz",
        title = "A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories",
        booktitle = "Proceedings of the 2015 AIAA Infotech @ Aerospace Conference",
        number = "AIAA-2015-0795",
        address = "Kissimmee, Florida",
        month = "January",
        year = "2015",
        doi= "10.2514/6.2015-0795",
        url="http://arc.aiaa.org/doi/pdf/10.2514/6.2015-0795",
}