87 citations · 294 across the 41 of their papers we have counts for
7 papers · 1 filter
Automated Formalization of Probabilistic Requirements from Structured Natural Language
Anastasia Mavridou, Marie Farrell, Gricel Vázquez +4
Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decisi…
Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
Daniel Bethell, Simos Gerasimou, Radu Calinescu +1
Reliable navigation in safety-critical environments requires both accurate hazard perception and principled uncertainty handling to strengthen downstream safety handling. Despite t…
Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation
Daniel Bethell, Simos Gerasimou, Radu Calinescu +1
Ensuring the safe exploration of reinforcement learning (RL) agents is critical for deployment in real-world systems. Yet existing approaches struggle to strike the right balance:…
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…
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu +2
We present a control framework for robot-assisted dressing that augments low-level hazard response with runtime monitoring and formal verification. A parametric discrete-time Marko…
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…