3 citations · 8 across the 6 of their papers we have counts for
6 papers
Conformal Safety Shielding for Imperfect-Perception Agents
William Scarbro, Calum Imrie, Sinem Getir Yaman +4
We consider the problem of safe control in discrete autonomous agents that use learned components for imperfect perception (or more generally, state estimation) from high-dimension…
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu
Normative requirements specify social, legal, ethical, empathetic, and cultural (SLEEC) norms that must be observed by a system. To support the identification of SLEEC requirements…
Verification and External Parameter Inference for Stochastic World Models
Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou +2
Given its ability to analyse stochastic models ranging from discrete and continuous-time Markov chains to Markov decision processes and stochastic games, probabilistic model checki…
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…
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath +4
Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these sy…