Max Robotics — Global Service Robot Directory + US Certification

About

Guy Scher is a robotics researcher whose work bridges the gap between theoretical guarantees and practical deployment of autonomous systems. His primary research areas include warehouse automation, formal methods for stochastic systems, and probabilistic verification of autonomous robots. Scher’s most notable contribution is his end-to-end system for warehouse automation, which enables the deployment of Autonomous Mobile Robots (AMRs) with provable guarantees in a single day—a significant leap toward practical, certifiable robotics. This work, his most cited with 8 citations, addresses the critical challenge of moving from model to implementation while maintaining safety assurances. He has also advanced the field of control synthesis for stochastic systems under Signal Temporal Logic (STL) specifications, developing methods that compute satisfaction probabilities for complex tasks. His work on elliptical slice sampling for probabilistic verification tackles the real-world challenge of sensor imperfections in autonomous robots, accounting for environmental influences on cameras and lidars. Scher’s research is distinguished by its focus on robustness and formal guarantees, making him a key contributor to the growing field of verifiable autonomy.