Rhudii A. Quaye

According to our database, Rhudii A. Quaye authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

2019

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

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Fly-by-logic: control of multi-drone fleets with temporal logic objectives.

Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018