Reachability-based control for human and autonomous agents in adversarial games