Marcos Correa Lopez Graduate Researcher Florida Atlantic University

Home Page

ORCID

I am a Master’s student in the SCUBA Lab. My thesis focuses on Formally Verified Learning-Enabled Control for Safe Multi-Quadrotor Systems in Interaction-Rich Environments.

Search for Marcos Correa Lopez's papers on the Research page