Safe Systems with Unsafe Agents: Challenges and Opportunities. - Jeremy Bellay; J. Timothy Balint; Stephen A. Boxwell; Jeffrey Geppert (AAMAS, 2025)