Timm, N., & 		Botha, J.
2021 Dec  7.  Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :