Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties

Akshay et al. "Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties." International Joint Conference on Artificial Intelligence, 2024.

[Akshay et al. "Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/akshay2024ijcai-certified/)

@inproceedings{akshay2024ijcai-certified,
  title     = {{Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties}},
  author    = {Akshay, S. and Chatterjee, Krishnendu and Meggendorfer, Tobias and Zikelic, Dorde},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3-12},
  url       = {https://mlanthology.org/ijcai/2024/akshay2024ijcai-certified/}
}