Santana, M. A., Stefanakos, I., Fang, X., Garg, A., Sun, H., & Osman, A. (2024, November). Weather Impact on DER Long-term Performance: A Formal Verification Approach. Presented at 2024 IEEE PES Innovative Smart Grid Technologies - Asia (ISGT Asia), Bangalore, India