Time-Constrained Intelligent Adversaries for Automation Vulnerability Testing: A Multi-Robot Patrol Case Study. - James C. Ward; Alex Bott; Connor York; Edmund R. Hunt (CASE, 2025)