Flexible State Space Exploration Strategies