From Intents to Algorithms: Verified Algorithm Discovery for Transport Networks

Behnam Ojaghi, Ricard Vilalta, Raul Muñoz

Intent-based networking decouples desired outcomes from device-level configuration, but most systems still map intents to parameters of an algorithm selected in advance. Large lang…