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

We outline the principles of classical assurance for computer-based systems that pose
significant risks. We then consider application of these principles to systems that employ …

Satisfiability-based automated reasoning is an approach that is being successfully used in
software engineering to validate complex software, including for safety-critical systems. Such …

Moral transactions are increasingly infused with decision input from AI agents. To what
extent do observers believe that AI agents are responsible for their own actions? How do …

Systems interacting with humans, such as assistive robots or chatbots, are increasingly
integrated into our society. To prevent these systems from causing social, legal, ethical …

Background: Autonomy is a key attribute of cyber-physical systems engineered to achieve
human-machine coexistence and collaboration toward human-centered goals. To be …

Software systems handling data are increasingly required to comply with legal properties
(LPs) aimed at ensuring security and data privacy. Automated reasoning of LPs can be …

Abstract Social, Legal, Ethical, Empathetic, and Cultural (SLEEC) requirements are a key
concern for the implementation of autonomous agents, such as robots. Existing work has …