J. Markovicz and G. Alves. " Modelagem formal de abordagens éticas para comportamento de agentes", in Anais do VII Workshop-Escola de Informática Teórica, Rio Grande/RS, 2023, pp. 134-138, doi: https://doi.org/10.5753/weit.2023.26607.