Safe Schedule Verification for Urban Air Mobility Networks with Node Closures

Qinshuang Wei, Gustav Nilsson, Samuel Coogan

In Urban Air Mobility (UAM) networks, takeoff and landing sites, called vertiports, are likely to experience intermittent closures due to, e.g., adverse weather. To ensure safety,…