MDPs as distribution transformers: affine invariant synthesis for safety objectives
scientific article; zbMATH DE number 7798094
scientific article