Morteza defended his PhD thesis

in Uncategorized
July 18th, 2012

Morteza defended his PhD thesis titled “Formal Verification and Control of Discrete-Time Stochastic Systems with Applications in Robotics” and became Dr. Lahijanian!