AMR starts from a coarse grid, classifies each cell as interior, exterior, or boundary by sampling, then subdivides only boundary cells up to a maximum depth. ARIAA auto-reduces initial cells per dimension for higher-D problems to prevent cell explosion.
Related
- Monte Carlo Reachability — Sampling-based reachability analysis for high-dimensional state spaces where grid-based methods are intractable.