Sign in

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

S. AkshayKrishnendu ChatterjeeTobias MeggendorferDorde Zikelic
Published in: CoRR (2023)
Keyphrases