K V Krishnam Raju, D. 2018. Verifying of Autonomous Domestic Robot in AI using JASON. International Journal of Engineering and Technology. 7, 2.7 (Mar. 2018), 739–741. DOI:https://doi.org/10.14419/ijet.v7i2.7.10935.