Fly-by-logic: control of multi-drone fleets with temporal logic objectives. - Yash Vardhan Pant; Houssam Abbas; Rhudii A. Quaye; Rahul Mangharam (ICCPS, 2018)

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)

Anytime Computation and Control for Autonomous Systems. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Rhudii A. Quaye; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (IEEE Trans. Control. Syst. Technol., 2021)