Verification of Autonomous Cleaning Agents

?Verification of Autonomous cleaning agents? is committed to verify an autonomous cleaning agent, for instance area cleaning robots. It hovers over a range of steps from considering an initial example multi agent system to modelling it and verifying it both logically and functionally with respect to the world coordinates. We strived to study a simple autonomous cleaning system and tried to test it in ways possible and suggest the changes that could have been made to the existing system, so that it works better in world coordinates. This paper is all about verification of the existing system and a keen study of its functionality in detailed perspective regarding the languages used to simulate the AI engine and the justification of utility of Multi Agent systems.