Beverley A. Townsend

Orcid: 0000-0002-8486-6041

According to our database1, Beverley A. Townsend authored at least 6 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Normative Requirements Operationalization with Large Language Models.
CoRR, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Medical practitioner perspectives on AI in emergency triage.
Frontiers Digit. Health, March, 2023

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

Towards a Formal Framework for Normative Requirements Elicitation.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022
From Pluralistic Normative Principles to Autonomous-Agent Rules.
Minds Mach., 2022


  Loading...