K V Krishnam Raju, Dr. “Verifying of Autonomous Domestic Robot in AI Using JASON”. International Journal of Engineering and Technology 7, no. 2.7 (March 18, 2018): 739–741. Accessed May 29, 2025. https://mail.sciencepubco.com/index.php/IJET/article/view/10935.