Bentzen, Martin Mose ; Lindner, Felix ; Dennis, Louise.
Bentzen , M M , Lindner , F , Dennis , L & Fisher , M 2018 , Moral Permissibility of Actions in Smart Home Systems . in Proceedings of the FLoC 2018 Workshop on Robots, Morality, and Trust through the Verification Lens . Federated Logic Conference 2018 , Oxford , United Kingdom , 15/07/2018 ..  , 2018