Beverley A. Townsend

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

CoRR, 2024

2023

Medical practitioner perspectives on AI in emergency triage.

Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu

Frontiers Digit. Health, March, 2023

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

Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend

CoRR, 2023

Towards a Formal Framework for Normative Requirements Elicitation.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

From Pluralistic Normative Principles to Autonomous-Agent Rules.

Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas

Minds Mach., 2022