A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason. - Amelia Badica; Costin Badica; Catalina Sitnikov; Florin Leon (PDP, 2017)