Asfand Kamran Noman Bashir Ruqaiya Attaullah Usama Safdar  <br/><br/>
PR-SOF-1979-Formal Verification and Simulation of Obstacle Avoidance on Nao Robot 

 - ISLAMABAD:  NUST COLLEGE OF EME,  2020. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>DE-MTS-38
<br/><br/><label>Dewey Class. No.: </label>220 PRO