Figure 8

Recorded events in the Monte Carlo simulation and their relation with collision in the active runway crossing operation. E _q (q = 1,2,…,10) represents the event number, τ _q represents the time of the first occurrence of event E _q , ‘∧ ’ means that both events E _i and E _j should have occurred in order for the next event to happen such that τ _i ∧ τ _j = max {τ _i , τ _j }, ‘∨ ’ means that as soon as one of the (competing) events occur, the next event will happen such that τ _i ∨ τ _j = min {τ _i , τ _j }, G is a guard function evaluating the first time τ₁₀ that trajectories of AC-TO and of AC-TX are such close that the aircraft shapes hit each other.