Markovicz, João, E Alves, Gleifer. " Modelagem formal de abordagens éticas para comportamento de agentes" Anais do Workshop-Escola de Informática Teórica (WEIT) [Online], (9 outubro 2023)