Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. - Yash Vardhan Pant; Rhudii A. Quaye; Houssam Abbas; Akarsh Varre; Rahul Mangharam (NFM, 2019)