_id,doi,title
18159,10.24963/ijcai.2024/1,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties