Timm, Nils , E 		Botha, Josua.
" Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)