Efficiently estimating parameters and quantifying uncertainty in adaptive safety-critical control systems.