“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.