Studio di modelli di programmazione matematica per la gestione del traffico aereo con capacità adattiva dello spazio aereo

La tesi ha l'obiettivo di studiare e rafforzare la formulazione di un modello di programmazione matematica per la gestione del traffico aereo con capacità adattiva dello spazio aereo. Verranno dunque illustrate e applicate delle modifiche a un modello preesistente, con lo scopo di investigare come tali variazioni impattano la qualità della formulazione. Verrà inoltre proposta una formulazione alternativa del modello di partenza, teoricamente più forte. Verranno infine presentati e discussi dei risultati computazionali relativi all'implementazione dei modelli studiati, con il fine di favorire il confronto tra essi.