Intruder detection and interdiction modeling: A bilevel programming approach for ballistic missile defense asset location