Model Checking Human-Agent Collectives for Responsible AI.

Dhaminda B. Abeywickrama, Corina Crstea, Sarvapali D. Ramchurn

Browse the full RO-MAN paper archive.