James Edmondson

Papers

Total Citations

H-Index

About

James Edmondson’s research lies at the intersection of mobile computing, multi-agent systems, and formal verification, with a focus on enabling scalable, autonomous collaboration. His work addresses critical challenges in next-generation mobile platforms and multi-robot coordination, where traditional preplanned control paradigms fall short. In his most-cited paper, “Next-Generation Mobile Computing” (2014, 16 citations), Edmondson surveys the trajectory of mobile technology, identifying key software challenges and promising infrastructure for proximate computing—a vision that continues to shape how we think about edge and mobile intelligence. He further advances multi-agent autonomy through “Extensible Collaborative Autonomy Using GAMS” (2016, 5 citations), introducing a framework that simplifies the deployment of multi-robot systems by moving beyond rigid, preprogrammed behaviors. Edmondson also contributes to rigorous system validation with “Input Attribution for Statistical Model Checking Using Logistic Regression” (2016, 3 citations), a novel method that combines machine learning with formal verification to trace which inputs most influence system outcomes. Though his citation counts are modest, his work is notable for bridging practical engineering challenges with formal methods, offering students and researchers a clear pathway from theory to deployable, intelligent systems.