@inproceedings{BBFMC_DASC2019,
        author = "Swee Balachandran and Viren Bajaj and Marco Feli{\'u} and C{\'e}sar Mu{\~{n}}oz and Mar{\'\i}a Consiglio",
        title = "A Learning-Based Guidance Selection Mechanism for a Formally Verified Sense and Avoid Algorithm",
        booktitle = "Proceedings of the 38th Digital Avionics Systems 
                     Conference (DASC 2019)",
        address = "San Diego, CA, US",
        month = "September",
        year = "2019"
}