Return to Article Details Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search Download Download PDF