Rhudii A. Quaye

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Autonomous Systems

Formal Specification Language

Mazurkiewicz Traces

Top Venues

IEEE Trans. Control. Syst. Technol.

Publications

Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. 29 (2) (2021)
Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. NFM (2019)
Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam
Fly-by-logic: control of multi-drone fleets with temporal logic objectives. ICCPS (2018)