Max Robotics — Global Service Robot Directory + US Certification

About

Sadra Sadraddini is a robotics and control researcher whose work bridges formal methods, motion planning, and autonomous systems. His research centers on three interconnected themes: spatio-temporal logic for swarm control, kinodynamic motion planning for nonlinear systems, and probabilistic verification of stochastic systems under complex task specifications. Sadraddini's most influential contribution, "Robotic Swarm Control from Spatio-Temporal Specifications" (2016, 39 citations), demonstrated how rich logical frameworks can orchestrate complex collective behaviors in robotic swarms — a significant step toward high-level, interpretable multi-robot coordination. His 2020 paper introducing R3T (27 citations) advanced the state of the art in sampling-based planning by leveraging reachable set approximations via polytopes, enabling optimal kinodynamic planning for challenging nonlinear and hybrid systems. Beyond planning, Sadraddini has made notable contributions to resilient and stochastic control synthesis, developing methods that formally guarantee task satisfaction under uncertainty — including sensor imperfections modeled through signal temporal logic. His 2022 work on elliptical slice sampling reflects a growing focus on probabilistic verification for real-world autonomous systems. Collectively, his research equips autonomous robots with theoretically grounded tools to reliably execute complex missions in uncertain, dynamic environments.