Suhail Alsalehi

Papers

Total Citations

H-Index

About

Suhail Alsalehi is a researcher at the forefront of control theory and robotics, with a focus on bridging formal methods and machine learning for multi-agent systems. His most cited work introduces a novel framework that leverages Spatio-Temporal Reach and Escape Logic (STREL) to synthesize neural network-based controllers for multi-agent networks, ensuring they satisfy complex spatio-temporal specifications. By defining smooth quantitative semantics for STREL, Alsalehi enables gradient-based optimization, a key contribution that has garnered 7 citations and opened new pathways for verifiable autonomous coordination. More recently, he has ventured into the microscopic domain, developing learning-based tracking controllers for rolling microrobots (μbots). This work, targeting emerging medical applications, demonstrates his versatility in applying control synthesis to radically different scales—from distributed drone swarms to micron-scale surgical bots. Alsalehi’s research stands out for its rigorous integration of logical specification with practical learning algorithms, offering a blueprint for safe, scalable autonomy. His achievements reflect a rare ability to translate abstract theoretical guarantees into tangible robotic systems, making him a promising voice in the next generation of control and robotics researchers.