slides__A_Compilation_Based_Approach_to_Finding_Centroids_and_Minimum_Covering_States_in_Planning