Chapter 16: Designing and Verifying Computational Models for Human-agent Teamwork in Future Cities. In: Prototypes for Humanity 2025: Short Papers Platform Conference Proceedings. Knowledge E Books-2; 2026. doi:10.18502/rq457c78_16