87 citations · 294 across the 41 of their papers we have counts for
4 papers · 1 filter
Normative Requirements Operationalization with Large Language Models
Nick Feng, Lina Marsso, S. Getir Yaman +9
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As thes…
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
Daniel Bethell, Simos Gerasimou, Radu Calinescu +1
Empowering safe exploration of reinforcement learning (RL) agents during training is a critical challenge towards their deployment in many real-world scenarios. When prior knowledg…
Formal Synthesis of Uncertainty Reduction Controllers
Marc Carwehl, Calum Imrie, Thomas Vogel +3
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behavio…
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman +11
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…