A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason.
Amelia BadicaCostin BadicaCatalina SitnikovFlorin LeonPublished in: PDP (2017)
Keyphrases
- formal model
- agent based simulation
- simulation model
- simulation models
- multi agent
- leader follower
- game playing
- video games
- multi agent systems
- game theory
- agent model
- formal models
- educational games
- computer games
- nash equilibrium
- serious games
- security properties
- game theoretic
- social systems
- realistic settings
- social norms
- security patterns
- game play
- information gathering
- multi robot
- virtual world
- social networks
- predicate calculus
- early stage
- data assimilation
- social media
- case study