Specification and Validation of Normative Rules for Autonomous Agents. - Sinem Getir Yaman; Charlie Burholt; Maddie Jones; Radu Calinescu; Ana Cavalcanti 001 (FASE, 2023)

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Charlie Burholt; Maddie Jones; Ana Cavalcanti 001; Radu Calinescu (Sci. Comput. Program., 2024)