Lenka Mudrich
Papers
1
Total Citations
2
H-Index
1
About
Dr. Lenka Mudrich is a leading researcher in trustworthy autonomous systems, with a primary focus on the formal verification and reliable software architecture of unmanned aerial vehicles (UAVs). Her work bridges the critical gap between rigorous model-based design and practical robotic implementations, particularly for high-stakes drone missions in search and rescue, surveillance, and firefighting. Mudrich’s most cited contribution, "Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation" (2024), introduces a pioneering methodology that transforms formal RoboChart models into executable Robot Operating System (ROS) code, ensuring correctness and safety in autonomous operations. This work has already garnered early citations, reflecting its immediate relevance to the growing demand for dependable drone software. By enabling the replacement of human personnel in hazardous environments with verifiably safe autonomous systems, Mudrich’s research directly addresses critical challenges in emergency response and disaster management. Her achievements represent a significant step toward the widespread adoption of certified, trustworthy robotics in real-world applications, making her a key figure in the advancement of autonomous systems engineering.
Research Focus
Key Achievements
Top Papers
- 1