K V KRISHNAM RAJU, Dr. Verifying of Autonomous Domestic Robot in AI using JASON. International Journal of Engineering and Technology, [S. l.], v. 7, n. 2.7, p. 739–741, 2018. DOI: 10.14419/ijet.v7i2.7.10935. Disponível em: https://sciencepubco.com/index.php/IJET/article/view/10935.. Acesso em: 15 apr. 2025.