Back to article IJET Verifying of Autonomous Domestic Robot in AI using JASON Download Download PDF