Chapter 16: Designing and Verifying Computational Models for Human-agent Teamwork in Future Cities (Prototypes for Humanity 2025: Short Papers Platform Conference Proceedings, 2026)