3 papers
eess.SY2025
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…
cs.SE2025
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…
cs.LO2025
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…