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