James M. Wilson
Papers
1
Total Citations
5
H-Index
1
About
James M. Wilson is a leading researcher in the emergent behaviours of autonomous robotic swarms, with a primary focus on developing formal assurance methods for decentralised multi-agent systems. His most significant contribution, the AERoS framework (Assurance of Emergent Behaviour in Autonomous Robotic Swarms), addresses a critical challenge in swarm robotics: how to guarantee that complex, self-organising collective behaviours remain safe and predictable without centralised control. While his work is still in its early stages, with his landmark 2023 paper already garnering 5 citations, Wilson’s research is foundational for deploying swarms in real-world applications such as search-and-rescue, environmental monitoring, and infrastructure inspection. By combining formal verification, runtime monitoring, and adaptive control, he provides a rigorous pathway to certify emergent swarm intelligence. Wilson’s achievements include pioneering the use of probabilistic model checking for swarm-level properties and developing novel metrics for quantifying assurance in distributed systems. His work is essential reading for any student or researcher interested in the intersection of robotics, formal methods, and autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms5 citations · 2023