Decentralized and Nondeterministic Multi-Robot Area Patrolling in Adversarial Environments | AMiner