Safe Schedule Verification for Urban Air Mobility Networks with Node Closures.
Qinshuang WeiGustav NilssonSamuel CooganPublished in: CoRR (2022)
Keyphrases
- scheduling problem
- human mobility
- network nodes
- small world networks
- mobile agents
- transport network
- neighboring nodes
- social networks
- overlapping communities
- network structure
- network connectivity
- scheduling algorithm
- network analysis
- mobility patterns
- packet transmission
- criminal networks
- signature verification
- transportation networks
- edge weights
- graph structure
- computer networks
- directed graph
- model checking
- mobile devices