@misc{indiciae3b01ccfbb0fe, title = {MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives}, author = {S. Akshay and Krishnendu Chatterjee and Tobias Meggendorfer and Đorđe Žikelić}, year = {2023}, url = {https://arxiv.org/abs/2305.16796}, note = {Source identifier: 2305.16796} }