Optimization-Based Resiliency Verification in Microgrids via Maximal Adversarial Set Characterization | IEEE Conference Publication | IEEE Xplore