N. Timm and J. Botha.
"Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation", in <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, Campina Grande, 2021, pp. 53-69.