With the trend of global warming and destructive human activities, the frequent occurrences
of catastrophes have posed devastating threats to human life and social stability worldwide …

Fare evasion has become an important issue for public transport companies, especially for
those that have adopted proof-of-payment ticketing systems. Recent years have seen strong …

In the field of security, multi-objective security games (MOSGs) allow defenders to
simultaneously protect targets from multiple heterogeneous attackers. MOSGs aim to …

Attacker-Defender Stackelberg security games (SSGs) have emerged as an important
research area in multi-agent systems. However, existing SSGs models yield fixed, static …

Abstract In Proof-of-Payment Transit Systems (POP-TSs), fare evasion is a crucial issue for
Transit Agencies (TAs) and/or Public Transport Companies (PTCs) worldwide. The related …

Fare evasion is currently a significant concern for public transport systems worldwide.
Evasion causes huge economic losses to operators and cities, but also negatively …

A cooperative routing strategy for daily operations is necessary to maintain the effects of
hotspot policing and to reduce crime and disorder. Existing robot patrol routing strategies …

In proof-of-payment systems, fare evasion represents a crucial topic for public transport
companies (PTCs) due to lost fare revenues, damaged corporate image, and increased …

Abstract Design and control of computer systems that operate in uncertain, competitive or
adversarial, environments can be facilitated by formal modelling and analysis. In this paper …

This paper considers the problem of finding optimal strategies in Stackelberg Security
Games when playing against a non-perfectly rational Attacker. To this end, a novel Duel …