Contributions. In summary, our main contributions are:
• A framework which poses safe reconfiguration as an optimiza-
tion problem with hard and soft constraints.
• A specification language based on LTL.
• A generic search procedure which uses counter-examples to
efficiently find optimized reconfiguration orderings.
• An implementation of our approach, together with an evaluation
on real network topologies and scenarios.