TY  - RPRT
TI  - Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
AU  - S. Akshay
AU  - Krishnendu Chatterjee
AU  - Tobias Meggendorfer
AU  - Đorđe Žikelić
PY  - 2024
UR  - https://arxiv.org/abs/2405.04015
ID  - 2405.04015
ER  -