TY  - RPRT
TI  - MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
AU  - S. Akshay
AU  - Krishnendu Chatterjee
AU  - Tobias Meggendorfer
AU  - Đorđe Žikelić
PY  - 2023
UR  - https://arxiv.org/abs/2305.16796
ID  - 2305.16796
ER  -