| Fly-by-logic: Control of multi-drone fleets with temporal logic objectives YV Pant, H Abbas, RA Quaye, R Mangharam 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 101 | 2018 |
| Anytime computation and control for autonomous systems YV Pant, H Abbas, K Mohta, RA Quaye, TX Nghiem, J Devietti, ... IEEE Transactions on Control Systems Technology 29 (2), 768-779, 2020 | 12 | 2020 |
| Fly-by-logic: A tool for unmanned aircraft system fleet planning using temporal logic YV Pant, RA Quaye, H Abbas, A Varre, R Mangharam NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 7 | 2019 |
| FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning YV Pant, MZ Li, A Rodionova, RA Quaye, H Abbas, MS Ryerson, ... Transportation Research Part C: Emerging Technologies 130, 103275, 2021 | 6 | 2021 |
| Control of multi-drone fleets with temporal logic objectives R Mangharam, YV Pant, H Abbas, RA Quaye US Patent 11,429,118, 2022 | 2 | 2022 |
| Technical report: Anytime computation and control for autonomous systems YV Pant, H Abbas, K Mohta, RA Quaye, TX Nghiem, J Devietti, ... Dept. Elect. Syst. Eng., Univ. Pennsylvania, Philadelphia, PA, USA, Tech …, 2019 | 1 | 2019 |
Yash Vardhan PantAssistant Professor, ECE, University of WaterlooVerified email at uwaterloo.ca
