Markovicz, J., & Alves, G. 2023 Oct 9. Formal modelling ethical approaches for agent's behaviour. Proceedings of the Workshop-School on Theoretical Computer Science (WEIT). [Online] :