Yichao Cheng

Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem

2021

The stable path problem (SPP) is a unified model for analyzing the convergence of distributed routing protocols (e.g., BGP), and a foundation for many network verification tools. Although substantial progress has been made on finding …