Slide 1 Optimisation and Model checking applied to multipath routing Nigel Walker, Ben Strulo, BT laboratories; Peng Wu, UCL; Alessio Lomuscio, Imperial. Slide 2 © British…