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