Max Robotics — Global Service Robot Directory + US Certification

About

Austin Jones is a leading researcher at the intersection of formal methods, robotics, and control theory, with a core focus on synthesizing correct-by-construction controllers for complex, multi-agent systems. His work is distinguished by pioneering the use of temporal logics—such as his own Gaussian Distribution Temporal Logic (GDTL) and Distribution Temporal Logic (DTL)—to specify and enforce rich, high-level mission requirements under uncertainty. Jones’s most influential contribution is the SpaTeL framework (111 citations), which provides a spatial-temporal logic for specifying emergent properties in networked dynamical systems. He has also developed scalable task-based coordination algorithms (ScRATCHeS, 58 citations) for heterogeneous robot teams, addressing real-world constraints like deadlines and inter-task dependencies. His research uniquely bridges theory and practice, demonstrated by the first formal controller synthesis for bipedal robots with experimental validation, and by end-to-end frameworks for vision-based localization under temporal logic constraints. With a portfolio of highly cited work spanning informative path planning, distributed information gathering, and reinforcement learning for robust satisfaction, Jones has established himself as a key architect of principled, verifiable autonomy for robotic swarms and cyber-physical systems.