MARKOVICZ, João Vicente; ALVES, Gleifer Vaz. Formal modelling ethical approaches for agent's behaviour. In: WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 7. , 2023, Rio Grande/RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2023 . p. 134-138. DOI: https://doi.org/10.5753/weit.2023.26607.