A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag | Synapse