K V Krishnam Raju, Dr. 2018. “Verifying of Autonomous Domestic Robot in AI Using JASON”.
International Journal of Engineering and Technology
7 (2.7): 739-41.
https://doi.org/10.14419/ijet.v7i2.7.10935
.