Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search | Publicación