Logic, Formal Verification, Machine Learning, AI.
#Green light has a 20% chance of jumping directly into Red by definition GREEN: dict({YELLOW: 0.8, RED: 0.2}), YELLOW: dict({RED:1.0}), RED: dict({GREEN:1.0}) } # Perform probabilistic state transition def transition(current_state): next_state = random.choices(