The member states of International Maritime Organization (IMO) have been leading in and
enforcing the use of automatic identification systems (AIS) in the analysis of ship-to-ship …

While three deployed applications of game theory for security have recently been reported at
AAMAS [12], we as a community remain in the early stages of these deployments; there is a …

Abstract In recent years, Stackelberg Security Games have been successfully applied to
solve resource allocation and scheduling problems in several security domains. However …

In this paper, we describe the model, theory developed, and deployment of PROTECT, a
game-theoretic system that the United States Coast Guard (USCG) uses to schedule patrols …

Abstract Model verification and validation (V&V) is one of the most important activities in
simulation modelling. Model validation is especially challenging for Agent-Based Simulation …

Over the past few decades, the number of liquefied natural gas (LNG) ships and terminals
has been increasing, playing an important role in global clean energy transportation …

Maritime administration and coastal states have become more aware of the need to
enhance risk mitigation strategies primarily due to increased worldwide shipping activities …

Thanks to the advent of new technologies and higher real-time computational capabilities,
the use of unmanned vehicles in the marine domain has received a significant boost in the …

Building upon previous security applications of computational game theory, this paper
presents PROTECT, a game-theoretic system deployed by the United States Coast Guard …

While three deployed applications of game theory for security have recently been reported,
we as a community of agents and AI researchers remain in the early stages of these …