Cover Image

Normative Requirements Operationalization with Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Nick, Marsso, Lina, Yaman, S. Getir, Standen, Isobel, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victória Oldemburgo, Townsend, Bev, Bartels, Hanne, Cavalcanti, Ana, Calinescu, Radu, Chechik, Marsha
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
by: Calinescu, Radu, et al.
Published: (2026)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
by: Kleijwegt, Alex, et al.
Published: (2025)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
by: Kolyakov, Kevin, et al.
Published: (2025)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
by: Feng, Nick, et al.
Published: (2024)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
by: Júnior, Everaldo Silva, et al.
Published: (2026)

Verification and External Parameter Inference for Stochastic World Models
by: Calinescu, Radu, et al.
Published: (2025)

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance
by: Shen, Huakun, et al.
Published: (2024)

Conformal Safety Shielding for Imperfect-Perception Agents
by: Scarbro, William, et al.
Published: (2025)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)

Development of a threat modelling framework and a web-based threat modelling tool for micro businesses
by: Getir, Etkin
Published: (2024)

Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Abductive Vibe Coding (Extended Abstract)
by: Murphy, Logan, et al.
Published: (2026)

Hazard Management in Robot-Assisted Mammography Support
by: Stefanakos, Ioannis, et al.
Published: (2026)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
by: Mohamed, Mudathir, et al.
Published: (2025)

Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction
by: Bethell, Daniel, et al.
Published: (2023)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Maintaining driver attentiveness in shared-control autonomous driving
by: Calinescu, Radu, et al.
Published: (2021)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
by: Hudson, Sinclair, et al.
Published: (2024)

Software Security Mapping Framework: Operationalization of Security Requirements
by: Lee, Sung Une, et al.
Published: (2025)

Helix nemoralis monst. sinistrorsum in Lancashire
by: Standen, Robert
Published: (1898)

Langwarrin Surprises
by: Standen, Roger
Published: (2022)

The Social Sycophancy Scale: A psychometrically validated measure of sycophancy
by: Rehani, Jean, et al.
Published: (2026)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
by: Bethell, Daniel, et al.
Published: (2025)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
by: Bethell, Daniel, et al.
Published: (2024)

Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation
by: Bethell, Daniel, et al.
Published: (2025)

Consentimiento sexual. Una propuesta de análisis feminista y sociológico1
by: Claudia Moreno Standen
Published: (2024)

LA TREPONEMATOSIS (YAWS) EN LAS POBLACIONES PREHISPÁNICAS DEL DESIERTO DE ATACAMA (NORTE DE CHILE)
by: Vivien G. Standen
Published: (2000)

BIENES FUNERARIOS DEL CEMENTERIO CHINCHORRO MORRO 1: DESCRIPCIÓN, ANÁLISIS E INTERPRETACIÓN
by: Vivien G. Standen
Published: (2003)

SÍNTESIS Y PROPUESTAS PARA EL PERÍODO ARCAICO EN LA COSTA DEL EXTREMO NORTE DE CHILE
by: Vivien G. Standen
Published: (2004)

LOS NUEVOS DESAFÍOS DE CHUNGARA EN SU FORMATO DIGITAL
by: Vivien G. Standen
Published: (2014)

EL INNOVATIVO LEGADO DE ARTHUR AUFDERHEIDE A LA PALEOPATOLOGÍA
by: Vivien G. Standen
Published: (2014)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
by: Vázquez, Gricel, et al.
Published: (2026)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
by: Rafiq, Yasmin, et al.
Published: (2025)

Comparison of Large Language Models for Deployment Requirements
by: Yaman, Alper, et al.
Published: (2025)

Are Prompts All You Need? Evaluating Prompt-Based Large Language Models (LLM)s for Software Requirements Classification
by: Binkhonain, Manal, et al.
Published: (2025)