Multi-Domain Semantic Model and Real-Time Planning Approach to Safe and Efficient Airport Taxiway Operations | Synapse