Step 1

• Let's assume we are on an iteration where κ=0.25
• Estimated reachability of init state starts at 0