Max Robotics — Global Service Robot Directory + US Certification

About

Inna Pereverzeva is a researcher dedicated to advancing the formal development of resilient, fault-tolerant multi-agent and multi-robotic systems. Her work centers on creating mathematically rigorous methods to ensure that distributed systems remain trustworthy and operational despite failures or environmental changes. Pereverzeva’s major contributions lie in using the Event-B formal method to specify and verify complex fault tolerance mechanisms, including cooperative error recovery and dynamic reconfiguration. Her most influential paper, “Formal Development and Quantitative Assessment of a Resilient Multi-robotic System” (2013, 13 citations), exemplifies her approach by combining formal proofs with quantitative analysis to validate system resilience. Another key work, “Formal Goal-Oriented Development of Resilient MAS in Event-B” (2012, 12 citations), introduces a goal-oriented refinement strategy for building robust multi-agent systems. Her 2012 paper on fault-tolerant MAS with cooperative error recovery (10 citations) tackles the notoriously difficult challenge of designing systems that can collectively recover from errors. Through her research, Pereverzeva has demonstrated that formal methods can be practically applied to complex, safety-critical domains, providing a solid foundation for engineers to develop dependable autonomous systems.