Adaptive control software: can we guarantee safety? | IEEE Conference Publication | IEEE Xplore