Game-theoretic patrol strategies for transit systems: the TRUSTS system and its mobile app