3 citations · 10 across the 18 of their papers we have counts for
3 papers · 1 filter
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Gricel Vázquez, Calum Imrie, Sepeedeh Shahbeigi +5
Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challe…
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…
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, captu…