@article{aformalframeworkforreasoningaboutagents, title = {A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems}, author = {Jieting Luo and Beishui Liao and John-Jules Meyer}, year = {2021}, eprint = {2105.07648}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2105.07648v3}, }