Symbolic Localization Reduction with Reconstruction Layering and Backtracking.

Sharon Barner, Daniel Geist, Anna Gringauze

Browse the full CAV paper archive.