I contributed to a position paper on moving Towards Guaranteed Safe AI, writing sections on the role of probabilistic programming and model-based planning in improving AI safety.