Vérification formelle du respect de valeurs morales dans les SMA. - Gaël Bonnet; Bruno Mermet; Gaëlle Simon (Rev. d'Intelligence Artif., 2017)