https://123dok.net/document/q2n0l4rp-actor-selection-strategies-pruning-redundant-state-exploration-testing.html