António Matos
Papers
1
Total Citations
3
H-Index
1
About
António Matos is a robotics researcher whose work centers on multi-robot coordination, formal methods, and uncertainty-aware planning. His most influential contribution is the development of a Petri Net Toolbox that unifies modeling, planning, and execution for multi-robot systems—a response to the field's need for developer-friendly tools that produce robust and predictable strategies. This work, published in 2021, has already garnered 3 citations, signaling its growing relevance to researchers tackling complex coordination problems under uncertainty. Matos’s approach bridges the gap between theoretical formal verification and practical deployment, making it easier to design and test algorithms for teams of robots operating in unpredictable environments. His contributions are particularly valuable for applications in warehouse automation, search-and-rescue, and autonomous exploration, where reliability and efficiency are paramount. By providing an integrated software solution, Matos is helping to democratize access to formal planning methods, enabling both seasoned researchers and newcomers to build more resilient multi-robot systems.
Research Focus
Key Achievements
Top Papers
- 1Petri Net Toolbox for Multi-Robot Planning under Uncertainty3 citations · 2021