A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason | IEEE Conference Publication | IEEE Xplore