Cover Image

Analyzing and Debugging Normative Requirements via Satisfiability Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Nick, Marsso, Lina, Yaman, Sinem Getir, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victória Oldemburgo, Townsend, Beverley, Standen, Isobel, Stefanakos, Ioannis, Imrie, Calum, Rodrigues, Genaína Nunes, 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

Normative Requirements Operationalization with Large Language Models
by: Feng, Nick, et al.
Published: (2024)

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

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

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

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

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

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

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

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

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

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)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
by: Imrie, Calum Corrie, et al.
Published: (2025)

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

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

RESMETRIC: Analyzing Resilience to Enable Research on Antifragility
by: Koenig, Ferdinand, 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)

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)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

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)

Teste de Rastreio da Doença de Alzheimer com Provérbios: desempenho de idosos saudáveis e com doença de Alzheimer na fase inicial
by: Genaina Cristina Alexandre Couto
Published: (2011)

Artifact for Paper Submission "Checking -Satisfiability of Reals with Integrals"
by: Rivera, Cody, et al.
Published: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

DC-Check: A Data-Centric AI checklist to guide the development of reliable machine learning systems
by: Seedat, Nabeel, et al.
Published: (2022)

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

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

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, 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)