Linear Programming for Computing Equilibria Under Truncation Selection and Designing Defensive Strategies Against Malicious Opponents - Zhang Zhuoer (Games, 2025)