Markovicz, J., & Alves, G. (2023). Modelagem formal de abordagens éticas para comportamento de agentes. In Anais do VII Workshop-Escola de Informática Teórica, (pp. 134-138). Porto Alegre: SBC. doi:10.5753/weit.2023.26607