3 papers
cs.RO2026
The Impact of Operational-Data Fidelity when Assessing Safety-Critical Autonomous-Vehicle Software
Kizito Salako, Rabiu Tsoho Muhammad
For safety-critical software, data from the software's operational past (e.g. a sequence of success and failure events experienced by the software) can provide strong statistical s…
math.ST2026
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…
stat.AP2025
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…