Analyzing and Debugging Normative Requirements via Satisfiability Checking-Reference-Cited by-同舟云学术

Analyzing and Debugging Normative Requirements via Satisfiability Checking

Published:2024-04-12 Issue: Volume:72 Page:1-12
ISSN:
Container-title:Proceedings of the IEEE/ACM 46th International Conference on Software Engineering
language:
Short-container-title:

Author:

Feng Nick¹^ORCID,Marsso Lina²^ORCID,Getir Yaman Sinem³^ORCID,Baatartogtokh Yesugen⁴^ORCID,Ayad Reem⁵^ORCID,De Mello Victoria Oldemburgo²^ORCID,Townsend Beverley³^ORCID,Standen Isobel⁶^ORCID,Stefanakos Ioannis³^ORCID,Imrie Calum³^ORCID,Rodrigues Genaina Nunes⁷^ORCID,Cavalcanti Ana³^ORCID,Calinescu Radu³^ORCID,Chechik Marsha²^ORCID

Affiliation:

1. University of, Toronto, Canada

2. University of Toronto, Toronto, Canada

3. University of York, York, United Kingdom

4. Smith College, Northampton, Massachusetts, USA

5. Department of Psychology, University of Toronto, Toronto, Canada

6. Department of Philosophy, University of York, York, United Kingdom

7. University of Brasilia, Brasilia, Brazil

Funder

UKRI

the Royal Academy of Engineering Grant

the Assuring Autonomy International Programme

NSERC

Amazon Research Award

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3597503.3639093

Reference40 articles.

1. Bahadır, B.N., Kasap, Z.: AutoCar Project, https://acp317315180.wordpress.com/

2. On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

3. Brunero, J.: Reasons and Defeasible Reasoning. The Philosophical Quarterly 72(1), 41--64 (2022)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Normative Requirements Operationalization with Large Language Models;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24