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

S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic

Browse the full IJCAI paper archive.