Nils  Timm and Josua Botha. 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>, December 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 53-69.