Amelia Badica, Costin Badica, Catalina Sitnikov, Florin Leon. A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason. In Igor V. Kotenko, Yiannis Cotronis, Masoud Daneshtalab, editors, 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017. pages 376-380, IEEE, 2017. [doi]
Abstract is missing.