Richard Stocker

University of Liverpool, Middlesex University

Papers

Total Citations

H-Index

About

Richard Stocker’s research lies at the intersection of formal methods, multi-agent systems, and human-robot teamwork. He is best known for his work on the Brahms modeling language, where he developed formal verification techniques to ensure reliable collaboration between humans and robots. His 2012 paper “Verifying Brahms Human-Robot Teamwork Models” (16 citations) provides a rigorous framework for checking the correctness of team behaviors, while his 2011 work “A Formal Semantics for Brahms” (9 citations) establishes the mathematical foundations for the language. Stocker also explores bio-inspired coordination in swarm robotics, as demonstrated in his 2016 paper “Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason” (9 citations), which shows how to implement stigmergic communication—inspired by ant colonies—using practical agent-oriented tools. This work is particularly relevant for applications like mapping hazardous areas and resource-constrained logistics. Though his citation counts are modest, Stocker’s contributions are notable for bridging formal verification with real-world robotic coordination, offering a principled approach to designing trustworthy human-robot teams and decentralized swarm behaviors.