MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
S. AkshayKrishnendu ChatterjeeTobias MeggendorferDorde ZikelicPublished in: CAV (3) (2023)
Keyphrases
- affine invariant
- affine transformation
- markov decision processes
- affine invariance
- scale invariant
- multiscale
- object matching
- contour matching
- fourier descriptors
- reinforcement learning
- convex hull
- zernike moments
- affine transform
- curve matching
- image registration
- machine learning
- input image
- feature detectors
- tensor field