K V Krishnam Raju, D. (2018) “Verifying of Autonomous Domestic Robot in AI using JASON”, International Journal of Engineering & Technology, 7(2.7), pp. 739–741. doi:10.14419/ijet.v7i2.7.10935.