Transiently Consistent SDN Updates: Being Greedy is Hard

Saeed Akhoondian Amiri, Arne Ludwig, Jan Marcinkowski +1

The software-defined networking paradigm introduces interesting opportunities to operate networks in a more flexible, optimized, yet formally verifiable manner. Despite the logical…