J. Roach

Virginia Tech, The University of Texas at Austin

Papers

Total Citations

H-Index

About

J. Roach is a pioneering researcher in robotics and artificial intelligence, best known for foundational contributions to multi-robot coordination and automated reasoning. Their most influential work, "Coordinating the motions of robot arms in a common workspace" (1987, 51 citations), introduced a time/space planning system that enables two manipulators to safely navigate shared environments through collision avoidance—either by temporally delaying or altering paths. This work remains a cornerstone for modern multi-agent robotic systems. Roach also developed the innovative "hereditary partitions" technique (1973, 12 citations), which allows rigorous proof that certain states are unreachable in a given axiomatization—a concept they implemented in the DISPROVER program. DISPROVER, further refined in "Model verification and improvement using DISPROVER" (1975, 7 citations), cooperates with path-finding algorithms to verify and improve robot world models. Though citation counts are modest by today’s standards, Roach’s work was highly influential in the early development of automated planning and verification, bridging theoretical logic with practical robotics. Their legacy lies in shaping how robots reason about space, motion, and impossibility in complex environments.