TY  - RPRT
TI  - Safe Schedule Verification for Urban Air Mobility Networks with Node Closures
AU  - Qinshuang Wei
AU  - Gustav Nilsson
AU  - Samuel Coogan
PY  - 2022
UR  - https://arxiv.org/abs/2206.13017
ID  - 2206.13017
ER  -