Vermaelen, J.J.VermaelenDinh, H.T.H.T.DinhHolvoet, T.T.Holvoet2021-10-292021-10-292020https://imec-publications.be/handle/20.500.12860/36254A survey on probabilistic planning and temporal scheduling with safety guaranteesProceedings paper