MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

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

Browse the full CAV paper archive.