Anna Lukina

Papers

Total Citations

H-Index

About

Anna Lukina is a leading researcher in cyber-physical systems (CPS), formal methods, and robotics, with a particular focus on the verification and control of autonomous systems. Her major contributions lie in developing rigorous, mathematically grounded frameworks to ensure the safety and reliability of complex, distributed robotic platforms. She is perhaps best known for her pioneering work on "OpenUAV," a widely adopted open-source testbed for multirotor unmanned aerial vehicles that addresses the critical challenges of expensive and time-consuming physical testing due to battery constraints. This contribution, cited over 60 times, has become an essential resource for the CPS and robotics community, enabling scalable experimentation and education. Beyond testbed development, Lukina’s research advances formal synthesis and runtime monitoring for autonomous systems, helping to bridge the gap between theoretical guarantees and real-world deployment. Her work has been recognized for its impact on both foundational verification techniques and practical engineering tools, making her a key figure in the push toward provably safe autonomous flight and cooperative multi-agent systems.