Follow
Rhudii A Quaye
Rhudii A Quaye
University of Pennsylvania, Exyn Technologies
Verified email at exyntechnologies.com - Homepage
Title
Cited by
Cited by
Year
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
1012018
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
112020
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
72019
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
62021
Control of multi-drone fleets with temporal logic objectives
R Mangharam, YV Pant, H Abbas, RA Quaye
US Patent 11,429,118, 2022
22022
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
12019
The system can't perform the operation now. Try again later.
Articles 1–6