activity
20232026
most citedAnalyzing and Debugging Normative Requirements via Satisfiability Checking

13 citations · 18 across the 6 of their papers we have counts for

collaborators

6 papers

cs.RO2026

Hazard Management in Robot-Assisted Mammography Support

Ioannis Stefanakos, Roisin Bradley, Radu Calinescu +3

Robotic and embodied-AI systems have the potential to improve accessibility and quality of care in clinical settings, but their deployment in close physical contact with vulnerable…

cs.AI2026

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents

Radu Calinescu, Ana Cavalcanti, Marsha Chechik +2

As AI agents are increasingly used in high-stakes domains like healthcare and law enforcement, aligning their behaviour with social, legal, ethical, empathetic, and cultural (SLEEC…

cs.CY2024★ 2 cited

Responsible AI Governance: A Response to UN Interim Report on Governing AI for Humanity

Sarah Kiden, Bernd Stahl, Beverley Townsend +22

This report presents a comprehensive response to the United Nation's Interim Report on Governing Artificial Intelligence (AI) for Humanity. It emphasizes the transformative potenti…

cs.SE2024★ 3 cited

Normative Requirements Operationalization with Large Language Models

Nick Feng, Lina Marsso, S. Getir Yaman +9

Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As thes…

cs.SE2024★ 13 cited

Analyzing and Debugging Normative Requirements via Satisfiability Checking

Nick Feng, Lina Marsso, Sinem Getir Yaman +11

As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…

cs.SE2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3

Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…