Bayesian RoVeR-CoRe
A probabilistic safety analysis project using Bayesian inference and Monte Carlo simulation to quantify conservatism in formal verification of autonomous rover controllers.
A probabilistic safety analysis project using Bayesian inference and Monte Carlo simulation to quantify conservatism in formal verification of autonomous rover controllers.