Timm, N., & 		Botha, J.
(2021).
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>, (pp. 53-69). Porto Alegre: SBC.