Upper Bounding Diameters of State Spaces of Factored Transition Systems by Friedrich Kurz and Mohammad Abdulaziz Oct 12