Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond