55 citations · 110 across the 10 of their papers we have counts for
10 papers
The Impact of Operational-Data Fidelity when Assessing Safety-Critical Autonomous-Vehicle Software
Kizito Salako, Rabiu Tsoho Muhammad
For safety-critical software, operational data (e.g. sequences of software successes and failures) can provide strong statistical support for reliability claims. However, insuffici…
Fixed-Point Characterisations of Extremal Distributions under Partial Distributional Constraints
Kizito Salako, Rabiu Tsoho Muhammad
We present a methodological framework for solving robust inference problems with partially specified distributions over measurable subsets of a parameter space. Partial specificati…
Constructive Proofs of Generalized Boole--Frechet Bounds: A Dynamic Programming Approach
Kizito Salako
Extensions of the Boole--Frechet inequalities give sharp bounds for the probabilities of compound events, particularly when only the probabilities of atomic events (that make up th…
Conservative Software Reliability Assessments Using Collections of Bayesian Inference Problems
Kizito Salako, Rabiu Tsoho Muhammad
When using Bayesian inference to support conservative software reliability assessments, it is useful to consider a collection of Bayesian inference problems, with the aim of determ…
Performance Comparisons of Reinforcement Learning Algorithms for Sequential Experimental Design
Yasir Zubayr Barlas, Kizito Salako
Recent developments in sequential experimental design look to construct a policy that can efficiently navigate the design space, in a way that maximises the expected information ga…
Derivative-based regularization for regression
Enrico Lopedoto, Maksim Shekhunov, Vitaly Aksenov +2
In this work, we introduce a novel approach to regularization in multivariable regression problems. Our regularizer, called DLoss, penalises differences between the model's derivat…
Demonstrating Software Reliability using Possibly Correlated Tests: Insights from a Conservative Bayesian Approach
Kizito Salako, Xingyu Zhao
This paper presents Bayesian techniques for conservative claims about software reliability, particularly when evidence suggests the software's executions are not statistically inde…
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments
Kizito Salako, Xingyu Zhao
When assessing a software-based system, the results of Bayesian statistical inference on operational testing data can provide strong support for software reliability claims. For in…
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles
Xingyu Zhao, Kizito Salako, Lorenzo Strigini +2
Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular…
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
Xingyu Zhao, Valentin Robu, David Flynn +2
There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, g…