Advancing firefighter games: novel integer programming formulations and the cost-value model. - Marta Baldomero-Naranjo; Jörg Kalcsics; Antonio M. Rodríguez-Chía; Catriona Wedderburn (Ann. Oper. Res., 2026)