Towards Sophisticated Air Traffic Control System Using Formal Methods

Box 19

grd10: curr_t − last_landing_t ≥ separation_t