The Effect of Behavioral Probability Weighting in a Sequential Defender-Attacker Game | IEEE Conference Publication | IEEE Xplore