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