Formal Analysis of Ethical Autonomous Systems Under Uncertainty. - Joanna Godawa; Krishnendu Ghosh (MIWAI (1), 2025)