Submodular Optimization of Dynamic Thermal Rating for Cascading Failure Risk Mitigation Considering Braess Paradox | IEEE Journals & Magazine | IEEE Xplore