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