Timm, N., & 		Botha, J.
2021 dez  7.  Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :