Markovicz, João, and Gleifer Vaz Alves. " Modelagem formal de abordagens éticas para comportamento de agentes." Anais do VII Workshop-Escola de Informática Teórica, Rio Grande/RS, 2023. SBC, 2023, pp.134-138.