Probabilistic safety assessment and management of control laws | IEEE Conference Publication | IEEE Xplore