D. K V Krishnam Raju, “Verifying of Autonomous Domestic Robot in AI using JASON”, IJET, vol. 7, no. 2.7, pp. 739–741, Mar. 2018, doi: 10.14419/ijet.v7i2.7.10935.