Towards Probabilistic Clearance, Explanation and Optimization