Dhaminda B. Abeywickrama, Corina Cîrstea, Sarvapali D. Ramchurn. Model Checking Human-Agent Collectives for Responsible AI. In 28th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2019, New Delhi, India, October 14-18, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.