Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
Article in Science of Computer Programming (September 2024)
The most recent citing publications are shown below. View all 240 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (September 2024)
Article in Journal of Logical and Algebraic Methods in Programming (February 2024)
Book chapter (December 2023)