Max Robotics — Global Service Robot Directory + US Certification

About

Morteza Lahijanian is a robotics and autonomous systems researcher whose work sits at the intersection of formal methods, motion planning, and probabilistic reasoning. He is best known for pioneering frameworks that enable robots to execute complex, high-level tasks with rigorous mathematical guarantees — a challenge that has traditionally required extensive manual programming by specialists. Lahijanian's most influential contributions involve applying temporal logic specifications to robot motion planning, allowing autonomous systems to interpret and fulfill sophisticated behavioral goals even in the presence of sensor noise, actuator uncertainty, and partially unknown environments. His 2011 paper on temporal logic motion planning with probabilistic satisfaction guarantees (148 citations) established a foundational Markov decision process framework that remains widely referenced. His 2018 survey on robot behavior synthesis (170 citations) further cemented his role in shaping the field's direction. Beyond classical environments, Lahijanian has extended his methods to hybrid systems, manipulation planning, multi-robot coordination with kinodynamic constraints, and quantitative partial satisfaction — recognizing that real-world robots rarely achieve perfect specification compliance. His work on online mapping and safe navigation in unknown environments reflects a growing emphasis on practical deployment. Collectively, his research has accumulated hundreds of citations, making him a significant voice in bridging formal verification and real-world robotics.