Mattia Rossetti
Papers
1
Total Citations
4
H-Index
1
About
Mattia Rossetti’s research lies at the intersection of formal methods, robotics, and software engineering, with a focus on modeling and verifying the complex synchronization and communication patterns that underpin real-time robotic control systems. His most-cited work, “Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs” (2012), introduced a rigorous approach to specifying and analyzing the behavior of vision-guided robots using Abstract State Machines (ASMs). This contribution is particularly valuable for ensuring reliability in safety-critical autonomous systems, where precise coordination between perception, computation, and actuation is essential. Although his citation count is modest, Rossetti’s work is recognized for its methodological depth and practical relevance, offering a formal foundation that bridges theoretical computer science and applied robotics. His research continues to influence the development of dependable robotic architectures, making him a thoughtful contributor to the field of cyber-physical systems.
Research Focus
Key Achievements
Top Papers
- 1