Collaborative Document Editing with Multiple Users and AI Agents. - Florian Lehmann; Krystsina Shauchenka; Daniel Buschek (CoRR, 2025)