K V Krishnam Raju D. Verifying of Autonomous Domestic Robot in AI using JASON. IJET [Internet]. 2018 Mar. 18 [cited 2024 Apr. 29];7(2.7):739-41. Available from: https://www.sciencepubco.com/index.php/ijet/article/view/10935