Markovicz, J., & 		Alves, G.
2023 out  9.  Modelagem formal de abordagens éticas para comportamento de agentes. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :